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)
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Null values in data base management a denotational semantics approach
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Data bases: A logical perspective
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
An extension to the relational model for indefinite databases
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Partition semantics for incomplete information in relational databases
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A sound and complete query evaluation algorithm for relational databases with null values
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Imprecise schema: a rationale for relations with embedded subrelations
ACM Transactions on Database Systems (TODS)
Indefinite and maybe information in relational databases
ACM Transactions on Database Systems (TODS)
Statistical inference of unknown attribute values in databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
ACM Transactions on Database Systems (TODS)
On deductive databases with incomplete information
ACM Transactions on Information Systems (TOIS)
Representing and querying XML with incomplete information
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Generalized Relational Model for Indefinite and Maybe Information
IEEE Transactions on Knowledge and Data Engineering
The Management of Probabilistic Data
IEEE Transactions on Knowledge and Data Engineering
Using Constraints for Efficient Query Processing in Nondeterministic Databases
IEEE Transactions on Knowledge and Data Engineering
An Exploration of Relationships Among Exclusive Disjunctive Data
IEEE Transactions on Knowledge and Data Engineering
Closed World Databases Opened Through Null Values
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Incomplete Information in Relational Temporal Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
A Multi-Resolution Relational Data Model
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Analytic Tableaux and Database Repairs: Foundations
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Representing and querying XML with incomplete information
ACM Transactions on Database Systems (TODS)
Update semantics for incomplete databases
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Towards Relational Inconsistent Databases with Functional Dependencies
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
The VLDB Journal — The International Journal on Very Large Data Bases
A logical account of uncertain databases based on linear logic
Proceedings of the 12th International Conference on Database Theory
Complexity of the Stable Model Semantics for Queries on Incomplete Databases
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Consistency enforcement in databases
Proceedings of the 2nd international conference on Semantics in databases
Towards a logical reconstruction of a theory for locally closed databases
ACM Transactions on Database Systems (TODS)
Certain answers for XML queries
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Models for incomplete and probabilistic information
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Semantically correct query answers in the presence of null values
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Efficient reasoning in proper knowledge bases with unknown individuals
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Completeness of queries over SQL databases
Proceedings of the 21st ACM international conference on Information and knowledge management
Hi-index | 0.01 |
A sound and, in certain cases, complete method is described for evaluating queries in relational databases with null values where these nulls represent existing but unknown individuals. The soundness and completeness results are proved relative to a formalization of such databases as suitable theories of first-order logic. Because the algorithm conforms to the relational algebra, it may easily be incorporated into existing relational systems.