scientific article; zbMATH DE number 1501628

zbMATH Open0963.68061MaRDI QIDQ4500375FDOQ4500375

Wendy MacCaull

Publication date: 11 January 2001

Title of this publication is not available (Why is that?)

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)

Cited In (6)

• Title not available (Why is that?)
• A reasoning system for satisfiability of diagrammatic specifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Relational proof system for relevant logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)