Abstract | ||
---|---|---|
The Closed-World Assumption (CWA) on a database ex- presses that an atom not in the database is false. The CWA is only applicable in domains where the database has complete knowledge. In many cases, for example in the context of distributed databases, a data source has only complete knowledge about part of the domain of dis- course. In this paper, we introduce an expressive and intuitively appeal- ing method of representing a local closed-world assumption (LCWA) of autonomous data-sources. This approach distinguishes between the data that is conveyed by a data-source and the meta-knowledge about the area in which these data is complete. The data is stored in a relational database that can be queried in the standard way, whereas the meta- knowledge about its completeness is expressed by a first order theory that can be processed by an independent reasoning system (for example a mediator). We consider different ways of representing our approach, relate it to other methods of representing local closed-word assumptions of data-sources, and show some useful properties of our framework which facilitate its application in real-life systems. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11546207_12 | BNAIC |
Keywords | Field | DocType |
different way,approach distinguishes,closed-world assumption,local closed-world assumption,local closed-word assumption,relational database,independent reasoning system,autonomous data-sources,data source,complete knowledge,closed world assumption,distributed database,first order | Relational database,Computer science,Algorithm,Theoretical computer science,Database design,Circumscription,Domain of discourse,Distributed database,Closed-world assumption,Reasoning system,Completeness (statistics) | Conference |
Volume | ISSN | ISBN |
3662 | 0302-9743 | 3-540-28538-5 |
Citations | PageRank | References |
8 | 0.58 | 15 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Álvaro Cortés-Calabuig | 1 | 67 | 4.40 |
Marc Denecker | 2 | 1626 | 106.40 |
Ofer Arieli | 3 | 705 | 51.54 |
Bert Van Nuffelen | 4 | 189 | 12.33 |
Maurice Bruynooghe | 5 | 2767 | 226.05 |