Formal Systems for Tuple and Equality Generating Dependencies
From MaRDI portal
Publication:3334109
DOI10.1137/0213006zbMath0544.68064OpenAlexW2059693475WikidataQ114615487 ScholiaQ114615487MaRDI QIDQ3334109
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
data dependenciesimplication problemfragment of first-order logicdesign of relational database schemes
Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) Information storage and retrieval of data (68P20)
Related Items
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
