scientific article; zbMATH DE number 4085067

MaRDI QIDQ3814841zbMATH OpenFDO

Authors P. Asirelli, P. Inverardi, A. Mustaro

Publication date 1988

zbMATH Keywords

deductive databasesintegrity constraintSLDNF resolution

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Information storage and retrieval of data (68P20)

Recommendations

• scientific article; zbMATH DE number 559226
• scientific article; zbMATH DE number 4064545
• Incremental Integrity Checking: Limitations and Possibilities
• Integrity constraints in logic databases
• Three types of redundancy in integrity checking: An optimal solution

Cited in

(16)

• Integrity constraint checking in stratified databases
• scientific article; zbMATH DE number 4064545 (Why is no real title available?)
• scientific article; zbMATH DE number 53282 (Why is no real title available?)
• scientific article; zbMATH DE number 67827 (Why is no real title available?)
• Creating specialised integrity checks through partial evaluation of meta-interpreters
• scientific article; zbMATH DE number 559226 (Why is no real title available?)
• scientific article; zbMATH DE number 638308 (Why is no real title available?)
• scientific article; zbMATH DE number 1735904 (Why is no real title available?)
• Semantic integrity constraints in knowledge-based database design systems
• DICE: declarative integrity constraint embedding into the object database standard ODMG-93
• On the abductive or deductive nature of database schema validation and update processing problems
• scientific article; zbMATH DE number 1755591 (Why is no real title available?)
• Three types of redundancy in integrity checking: An optimal solution
• Incremental Integrity Checking: Limitations and Possibilities
• On simplification of database integrity constraints
• 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 Q3814841)