Semantic query optimization in the presence of types
From MaRDI portal
Publication:389237
DOI10.1016/J.JCSS.2013.01.010zbMATH Open1408.68049OpenAlexW2066197965WikidataQ57955205 ScholiaQ57955205MaRDI QIDQ389237FDOQ389237
Authors: Michael Meier, Michael Schmidt, Fang Wei, Georg Lausen
Publication date: 20 January 2014
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2013.01.010
Recommendations
Cites Work
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Testing containment of conjunctive queries under functional and inclusion dependencies
- On XML integrity constraints in the presence of DTDs
- Horn clauses and database dependencies
- Data exchange: semantics and query answering
- The polynomial-time hierarchy
- A Proof Procedure for Data Dependencies
- Answering queries using views: A survey
- Logical foundations of object-oriented and frame-based languages
- On Keys and Functional Dependencies as First-Class Citizens in Description Logics
- Semantic query optimization in the presence of types
- Type inference for Datalog with complex type hierarchies
- Interaction between path and type constraints
- Conjunctive query containment and answering under description logic constraints
- Static Analysis
- Conjunctive query containment with respect to views and constraints
- Rewriting queries using views with access patterns under integrity constraints
Cited In (4)
Uses Software
This page was built for publication: Semantic query optimization in the presence of types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q389237)