Title :
An Integrity Semantics for Open World Databases
Author_Institution :
Inst. Tecnologico de Informatica, Ciudad Politecnica de la Innovacion, Valencia
Abstract :
We develop a model-based integrity semantics which is open for missing facts. We do so by instantiating a generic three-valued integrity semantics. We first recapitulate the latter. Based on that, we introduce and discuss the definitions for an OWA-compatible integrity semantics which caters for databases in which facts are possibly missing. We also touch upon some open issues, paraconsistency aspects and a related recent result
Keywords :
data integrity; database management systems; OWA-compatible integrity semantics; generic three-valued integrity semantics; open world databases; Counting circuits; Delay; Distributed databases; Expert systems; Inference mechanisms; Logic; Open wireless architecture; Terminology;
Conference_Titel :
Database and Expert Systems Applications, 2006. DEXA '06. 17th International Workshop on
Conference_Location :
Krakow
Print_ISBN :
0-7695-2641-1
DOI :
10.1109/DEXA.2006.26
