A sound and complete axiomatization of embedded cross dependencies

DOI10.1016/0304-3975(84)90059-8zbMATH Open0553.68027OpenAlexW2003196490WikidataQ114683732 ScholiaQ114683732MaRDI QIDQ759482FDOQ759482

Authors: François Bancilhon, Philippe Richard 

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00076309/file/RR-0249.pdf

Recommendations

• Reasoning about embedded dependencies using inclusion dependencies
• A complete axiomatization of full acyclic join dependencies
• Towards Complete Reasoning about Axiomatic Specifications
• Axiomatizing propositional dependence logics
• Axiomatisation of functional dependencies in incomplete relations
• An axiomatic semantics for nested concurrency
• Axiomatizing first-order consequences in dependence logic
• scientific article; zbMATH DE number 17696
• Structural completeness in propositional logics of dependence

zbMATH Keywords

completenesssoundnessaxiomatization of embedded cross dependenciesrelational data model

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Cites Work

• A relational model of data for large shared data banks
• Title not available (Why is that?)

This page was built for publication: A sound and complete axiomatization of embedded cross dependencies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q759482)