Formal Systems for Tuple and Equality Generating Dependencies

DOI10.1137/0213006zbMath0544.68064OpenAlexW2059693475WikidataQ114615487 ScholiaQ114615487MaRDI QIDQ3334109

Moshe Y. Vardi, Catriel Beeri

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 dependenciesimplication problemfragment of first-order logicdesign of relational database schemes

Mathematics Subject Classification ID

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

Related Items (20)

Dependencies in relational models of databases ⋮ A finite axiomatization of conditional independence and inclusion dependencies ⋮ Binary equality implication constraints, normal forms and data redundancy ⋮ Static and dynamic aspects of goal-oriented concurrency control ⋮ On a general class of data dependencies in the relational model and its implication problems ⋮ Finite approximatization of languages for representation of system properties: Axiomatization of dependencies ⋮ Relations, dependencies, and some problems of systems theory ⋮ Reasoning about functional and full hierarchical dependencies over partial relations ⋮ On characterizing boundedness of database schemes with bounded dependencies ⋮ Selective inheritance of attribute values in relational databases ⋮ On the finite controllability of conjunctive query answering in databases under open-world assumption ⋮ Characterizing functional dependencies in formal concept analysis with pattern structures ⋮ ONTOGRATE: TOWARDS AUTOMATIC INTEGRATION FOR RELATIONAL DATABASES AND THE SEMANTIC WEB THROUGH AN ONTOLOGY-BASED FRAMEWORK ⋮ The complexity of embedded axiomatization for a class of closed database views ⋮ Partition semantics for relations ⋮ Decision problems of object histories ⋮ Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations ⋮ A note on lossless database decompositions ⋮ Formal systems for join dependencies ⋮ The implication and finite implication problems for typed template dependencies

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