Incomplete Information in Relational Databases
Journal of the ACM (JACM)
Closed-world databases and circumscription
Artificial Intelligence
Artificial Intelligence
Artificial Intelligence
Artificial Intelligence
A model-theoretic approach to updating logical databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Updating logical databases containing null values
Proceedings on International conference on database theory
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Specification and implementation of programs for updating incomplete information databases
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Updating databases with incomplete information
Updating databases with incomplete information
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
On the correct translation of update operations on relational views
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Principles of Database Systems
Principles of Database Systems
Database Design
Null values in data base management a denotational semantics approach
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Database relations with null values
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
A Natural Language Interface for Performing Database Updates
Proceedings of the First International Conference on Data Engineering
Imprecise information and uncertainty in information systems
ACM Transactions on Information Systems (TOIS)
An intelligent approach to handling imperfect information in concept-based natural language queries
ACM Transactions on Information Systems (TOIS)
An Exploration of Relationships Among Exclusive Disjunctive Data
IEEE Transactions on Knowledge and Data Engineering
LIVE: a lineage-supported versioned DBMS
SSDBM'10 Proceedings of the 22nd international conference on Scientific and statistical database management
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Querying and updating constraint databases with incomplete information
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Modifying Intensional Logic Knowledge
Fundamenta Informaticae
Hi-index | 0.00 |
Suppose one wishes to construct, use, and maintain a database of facts about the real world, even though the state of that world is only partially known. In the artificial intelligence domain, this problem arises when an agent has a base set of beliefs that reflect partial knowledge about the world, and then tries to incorporate new, possibly contradictory knowledge into this set of beliefs. In the database domain, one facet of this situation is the well-known null values problem. We choose to represent such a database as a logical theory, and view the models of the theory as representing possible states of the world that are consistent with all known information.How can new information be incorporated into the database? For example, given the new information that “b or c is true,” how can one get rid of all outdated information about b and c, add the new information, and yet in the process not disturb any other information in the database? In current-day database management systems, the difficult and tedious burden of determining exactly what to add and remove from the database is placed on the user. The goal of our research was to relieve users of that burden, by equipping the database management system with update algorithms that can automatically determine what to add and remove from the database.Under our approach, new information about the state of the world is input to the database management system as a well-formed formula that the state of the world is now known to satisfy. We have constructed database update algorithms to interpret this update formula and incorporate the new information represented by the formula into the database without further assistance from the user. In this paper we show how to embed the incomplete database and the incoming information in the language of mathematical logic, explain the semantics of our update operators, and discuss the algorithms that implement these operators.