Logical queries over views, decidability and expressiveness

DOI10.1145/1656242.1656243MaRDI QIDQ2946595zbMATH OpenOpenAlexFDO

Authors

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

conjunctive querydecidabilityfirst-order logicsatisfiabilitycontainmentdatabase viewmonadic logicdatabase queryontology reasoningunary logicunary viewLöwenheim class

Mathematics Subject Classification ID

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

Recommendations

• Conjunctive query containment with respect to views and constraints
• Querying data sources that export infinite sets of views
• View-based query answering in description logics: semantics and complexity
• scientific article; zbMATH DE number 517063
• Conjunctive query containment and answering under description logic constraints

Cited in

(5)

• Determinacy and query rewriting for conjunctive queries and views
• View-based query answering in description logics: semantics and complexity
• Datalog Rewritings of Regular Path Queries using Views
• scientific article; zbMATH DE number 7561596 (Why is no real title available?)
• Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints

This page was built for publication: Logical queries over views, decidability and expressiveness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946595)