The gist of our approach is to embed an inconsistent database theory in. APC and then use APC to define database repairs and query answers. This helps ...
We consider the problem of specifying and computing con- sistent answers to queries against databases that do not satisfy given integrity constraints. This is ...
Applications of Annotated Predicate Calculus to Querying Inconsistent ...
link.springer.com › chapter
Dec 15, 2000 · We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity ...
This work considers the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints ...
Bibliographic details on Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity ...
Applications of Annotated Predicate. Calculus to Querying Inconsistent Databases. In International Conference on. Computational Logic, pages 926–941. Springer ...
Arenas M., Bertossi L., Kifer M. (2000). Applications of annotated predicate calculus to querying inconsistent databases.
People also ask
What are the applications of predicate calculus?
What is predicate logic in database?
What is the predicate calculus?
In this chapter, we summarize the research on querying inconsistent databases that we have been conducting during the last five years.
Conference on Computational Logic, DOOD-2000 stream, July 2000. Abstract · Applications of Annotated Predicate Calculus to Querying Inconsistent Databases Intl ...