Logical queries over views, decidability and expressiveness

DOI10.1145/1656242.1656243zbMATH Open1351.68087OpenAlexW2004894395MaRDI QIDQ2946595FDOQ2946595

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

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

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)

Cited In (5)

• View-based query answering in description logics: semantics and complexity
• Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints
• Determinacy and query rewriting for conjunctive queries and views
• Title not available (Why is that?)
• Datalog Rewritings of Regular Path Queries using Views

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)