Formal Systems for Tuple and Equality Generating Dependencies

DOI10.1137/0213006MaRDI QIDQ3334109zbMATH OpenOpenAlexWikidataFDO

Authors Catriel Beeri, Moshe Y. Vardi

Publication date 1984

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/0213006

zbMATH Keywords

data dependenciesdesign of relational database schemesfragment of first-order logicimplication problem

Mathematics Subject Classification ID

Classical first-order logic (03B10) Information storage and retrieval of data (68P20) Abstract data types; algebraic specification (68Q65)

Recommendations

• Complete formal systems for equivalence problems
• scientific article; zbMATH DE number 1722701
• Formal systems for join dependencies
• A formalisation of consistent consequence for Boolean equation systems
• A complete and consistent formal system for sortals
• A Formal Context for Symmetric Dependencies
• Guarded-based disjunctive tuple-generating dependencies
• Dependently-typed formalisation of relation-algebraic abstractions
• scientific article; zbMATH DE number 4058910

Cited in

(30)

• A note on lossless database decompositions
• Formal systems for join dependencies
• The implication and finite implication problems for typed template dependencies
• Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
• Relations, dependencies, and some problems of systems theory
• On characterizing boundedness of database schemes with bounded dependencies
• Selective inheritance of attribute values in relational databases
• Static and dynamic aspects of goal-oriented concurrency control
• A top-down proof procedure for generalized data dependencies
• Constraint-generating dependencies
• Characterizing functional dependencies in formal concept analysis with pattern structures
• Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations
• Dependencies in relational models of databases
• Reasoning about functional and full hierarchical dependencies over partial relations
• The complexity of embedded axiomatization for a class of closed database views
• A finite axiomatization of conditional independence and inclusion dependencies
• On a general class of data dependencies in the relational model and its implication problems
• Ontograte: towards automatic integration for relational databases and the semantic web through an ontology-based framework
• scientific article; zbMATH DE number 3922023 (Why is no real title available?)
• A Proof Procedure for Data Dependencies
• scientific article; zbMATH DE number 4043322 (Why is no real title available?)
• scientific article; zbMATH DE number 4112078 (Why is no real title available?)
• scientific article; zbMATH DE number 549084 (Why is no real title available?)
• scientific article; zbMATH DE number 4003563 (Why is no real title available?)
• On the finite controllability of conjunctive query answering in databases under open-world assumption
• A Formal Context for Symmetric Dependencies
• Partition semantics for relations
• Decision problems of object histories
• Strong equivalence of relational expressions under dependencies
• Binary equality implication constraints, normal forms and data redundancy

This page was built for publication: Formal Systems for Tuple and Equality Generating Dependencies

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