Incomplete Information in Relational Databases
Journal of the ACM (JACM)
Finitely Specifiable Implicational Dependency Families
Journal of the ACM (JACM)
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
Algebraic approaches to program semantics
Algebraic approaches to program semantics
On interpretations of relational languages and solutions to the implied constraint problem
ACM Transactions on Database Systems (TODS)
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Approaches for Updating Databases With Incomplete Information and Nulls
Proceedings of the First International Conference on Data Engineering
A model-based approach to updating databases with incomplete information
ACM Transactions on Database Systems (TODS)
The implementation of a model-based belief revision system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Unique complements and decompositions of database schemata
Journal of Computer and System Sciences
A framework for comparison of update semantics
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
LIVE: a lineage-supported versioned DBMS
SSDBM'10 Proceedings of the 22nd international conference on Scientific and statistical database management
| Hi-index | 0.00 |
The problem of updating incomplete information databases is examined as a programming problem. From this point of view formal denotational semantics are developed for two applicative programming languages, BLU and HLU. BLU is a very simple language with only five primitives, and is designed primarily as a tool for the implementation of higher level languages. The semantics of BLU are formally developed at two levels possible worlds and clausal and the latter is shown to be a correct implementation of the former. HLU is a user level update language. It is defined entirely in terms of BLU, and so immediately inherits its semantic definition from that language. This demonstrates a level of completeness for BLU as a level of primitives for update language implementation. The necessity of a particular BLU primitive, masking, suggests that there is a high degree of inherent complexity in updating logical databases.