scientific article; zbMATH DE number 35423

MaRDI QIDQ3989947zbMATH OpenFDO

Authors Joachim Biskup, Bernhard Convent

Publication date 28 June 1992

zbMATH Keywords

dependenciesresolution with paramodulation

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 516992
• Parameterized resolution with bounded conjunction
• Relational concurrent refinement
• Residuated relational systems
• scientific article; zbMATH DE number 1341621
• A general framework for relational parametricity
• scientific article; zbMATH DE number 3858385
• More relational concurrent refinement: traces and partial relations
• Relational Parametricity and Separation Logic
• Relational Parametricity and Separation Logic

Cited in

(5)

• Update operations in deductive databases with functional dependencies
• A top-down proof procedure for generalized data dependencies
• A Proof Procedure for Data Dependencies
• scientific article; zbMATH DE number 1222701 (Why is no real title available?)
• Querying Weak Instances Under Extension Chase Semantics: A Complete Solution

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 Q3989947)