scientific article; zbMATH DE number 1735904
From MaRDI portal
Publication:4329266
Recommendations
- Integrity checking and maintenance in relational and deductive databases and beyond
- scientific article; zbMATH DE number 4085067
- Toward a verified relational database management system
- scientific article; zbMATH DE number 5585924
- Integrity constraints in logic databases
- The Constraint Database Approach to Software Verification
- Integrity constraint checking in stratified databases
Cited in
(15)- On the consistency of defeasible databases
- Verifiable properties of database transactions
- Relational database constraints as counterexamples
- Annotation theories over finite graphs
- Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
- An integrity constraint for database systems containing embedded static neural networks
- A generalisation of entity and referential integrity in relational databases
- A Scheme for Batch Verification of Integrity Assertions in a Database System
- scientific article; zbMATH DE number 3978450 (Why is no real title available?)
- Integrity constraint checking in stratified databases
- Maintaining state constraints in relational databases: a proof theoretic basis
- DICE: declarative integrity constraint embedding into the object database standard ODMG-93
- Verification of evolving graph-structured data under expressive path constraints
- Inconsistency Tolerance
- scientific article; zbMATH DE number 966594 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4329266)
