scientific article; zbMATH DE number 1501628

MaRDI QIDQ4500375zbMATHFDO

Authors Wendy MacCaull

Publication date 11 January 2001

zbMATH Keywords

indiscernibility relationproof system for database dependencies

Mathematics Subject Classification ID

Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• scientific article; zbMATH DE number 4061209
• Relational proof system for relevant logics
• scientific article; zbMATH DE number 1827079
• scientific article; zbMATH DE number 970626
• scientific article; zbMATH DE number 1735911
• A Proof Procedure for Data Dependencies
• A top-down proof procedure for generalized data dependencies
• Relational proof system for linear and other substructural logics
• Relational semantics and a relational proof system for full Lambek calculus
• Correspondence results for relational proof systems with application to the Lambek calculus

Cited in

(10)

• scientific article; zbMATH DE number 465520 (Why is no real title available?)
• scientific article; zbMATH DE number 3881902 (Why is no real title available?)
• scientific article; zbMATH DE number 2015568 (Why is no real title available?)
• scientific article; zbMATH DE number 3974346 (Why is no real title available?)
• scientific article; zbMATH DE number 4003563 (Why is no real title available?)
• scientific article; zbMATH DE number 5129611 (Why is no real title available?)
• A reasoning system for satisfiability of diagrammatic specifications
• Tableaux for functional dependencies and independencies
• scientific article; zbMATH DE number 2038176 (Why is no real title available?)
• scientific article; zbMATH DE number 1735903 (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 Q4500375)