Logic for improving integrity checking in relational data bases

DOI10.1007/BF00263192zbMath0478.68096OpenAlexW2099805467MaRDI QIDQ1161312

Jean-Marie Nicolas

Publication date: 1982

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00263192

zbMATH Keywords

integrity constraintsfirst order logicrelational data basesdata base consistencyintegrity checkinglogic and data bases

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Related Items (15)

Translation of first order formulas into ground formulas via a completion theory ⋮ Inferences for numerical dependencies ⋮ Domain-independent formulas and databases ⋮ Correctness of semantic integrity checking in database management systems ⋮ Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity ⋮ Dyn-FO: A parallel, dynamic complexity class ⋮ A first step towards implementing dynamic algebraic dependences ⋮ Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover ⋮ Transformation of dynamic integrity constraints into transaction specifications ⋮ Consistency management in object-oriented databases ⋮ Legality concepts for three-valued logic programs ⋮ Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ Safety, domain independence and translation of complex value database queries ⋮ Verifiable properties of database transactions

This page was built for publication: Logic for improving integrity checking in relational data bases