Sciweavers

Share
PVLDB
2010
125views more  PVLDB 2010»
9 years 2 months ago
The Impact of Virtual Views on Containment
Virtual views are a mechanism that facilitates re-use and makes queries easier to express. However the use of iterative view deļ¬nitions makes very simple query evaluation and an...
Michael Benedikt, Georg Gottlob
SEBD
2001
145views Database» more  SEBD 2001»
9 years 5 months ago
Reasoning over Conceptual Schemas and Queries in Temporal Databases
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
Alessandro Artale, Enrico Franconi, Milenko Mosuro...
LPNMR
2009
Springer
9 years 10 months ago
Complexity of the Stable Model Semantics for Queries on Incomplete Databases
Abstract. We study the complexity of consistency checking and query answering on incomplete databases for languages ranging from non-recursive Datalog to disjunctive Datalog with n...
Jos de Bruijn, Stijn Heymans
books