An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
Database system concepts
SEAVE: a mechanism for verifying user presuppositions in query systems
ACM Transactions on Information Systems (TOIS)
Principles of Database Systems
Principles of Database Systems
Completeness Information and Its Application to Query Processing
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Theory of Relational Databases
Theory of Relational Databases
Using integrity constraints to provide intensional answers to relational queries
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Accommodating imprecision in database systems: issues and solutions
ACM SIGMOD Record - Directions for future database research & development
Annotating answers with their properties
ACM SIGMOD Record
A model of integrity for object-oriented database systems
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
ACM Transactions on Database Systems (TODS)
Dealing with non-functional requirements: three experimental studies of a process-oriented approach
Proceedings of the 17th international conference on Software engineering
Reasoning About Data Provided By Federated Deductive Databases
Journal of Intelligent Information Systems
ICIS '97 Proceedings of the eighteenth international conference on Information systems
Database audit and control strategies
Information Technology and Management
Differential Relational Calculus for Integrity Maintenance
IEEE Transactions on Knowledge and Data Engineering
Transaction Repair for Integrity Enforcement
IEEE Transactions on Knowledge and Data Engineering
Obtaining Complete Answers from Incomplete Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Multiplex: A Formal Model for Multidatabases and Its Implementation
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
OCL as a Specification Language for Business Rules in Database Applications
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A family of test adequacy criteria for database-driven applications
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Repairing and querying inconsistent databases
Effective databases for text & document management
Management of business process constraints using BPTrigger
Computers in Industry
An Application of Deontic Logic to Information System Constraints
Fundamenta Informaticae - Deontic Logic in Computer Science
Relative information completeness
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Approximate query answering in locally closed databases
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Towards a logical reconstruction of a theory for locally closed databases
ACM Transactions on Database Systems (TODS)
Capturing missing tuples and missing values
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Describing and deriving certain answers over partial databases
Journal of Intelligent Information Systems
Relative information completeness
ACM Transactions on Database Systems (TODS)
Representation of partial knowledge and query answering in locally complete databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Document interrogation: architecture, information extraction and approximate answers
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Incomplete databases: missing records and missing values
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications
An Application of Deontic Logic to Information System Constraints
Fundamenta Informaticae - Deontic Logic in Computer Science
Completeness of queries over SQL databases
Proceedings of the 21st ACM international conference on Information and knowledge management
MAGIK: managing completeness of data
Proceedings of the 21st ACM international conference on Information and knowledge management
Measuring data completeness for microbial genomics database
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I
Assessing the completeness of geographical data
BNCOD'13 Proceedings of the 29th British National conference on Big Data
Complete approximations of incomplete queries
Proceedings of the VLDB Endowment
| Hi-index | 0.00 |
Database integrity has two complementary components: validity, which guarantees that all false information is excluded from the database, and completeness, which guarantees that all true information is included in the database. This article describes a uniform model of integrity for relational databases, that considers both validity and completeness. To a large degree, this model subsumes the prevailing model of integrity (i.e., integrity constraints). One of the features of the new model is the determination of the integrity of answers issued by the database system in response to user queries. To users, answers that are accompanied with such detailed certifications of their integrity are more meaningful. First, the model is defined and discussed. Then, a specific mechanism is described that implements this model. With this mechanism, the determination of the integrity of an answer is a process analogous to the determination of the answer itself.