Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Logical queries over views - MaRDI portal

Logical queries over views

From MaRDI portal

Publication:2946595

Jump to:navigation, search

DOI10.1145/1656242.1656243zbMath1351.68087OpenAlexW2004894395MaRDI QIDQ2946595

No author found.

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1656242.1656243

zbMATH Keywords

first-order logic decidability database query satisfiability conjunctive query containment database view monadic logic ontology reasoning Löwenheim class unary logic unary view

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (1)

This page was built for publication: Logical queries over views

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2946595&oldid=15935138"