Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies

DOI10.1145/322290.322297zbMath0485.68091OpenAlexW1971247055WikidataQ114614035 ScholiaQ114614035MaRDI QIDQ3945625

Scott F. Walecka, Yehoshua Sagiv

Publication date: 1982

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/322290.322297

zbMATH Keywords

relational databaseinference ruledatabase managementcomplete axiomatizationdata modelscomplete formal theoryembedded multivalued dependencysubset dependency

Mathematics Subject Classification ID

Data structures (68P05) Information storage and retrieval of data (68P20)

Related Items

Inferences for numerical dependencies, Reduction of database independence to dividing in atomless Boolean algebras, Category-theoretic structure for independence and conditional independence, Conditional independence and natural conditional functions, A universal algebraic approach for conditional independence, Propagating belief functions in qualitative Markov trees, Logical and algorithmic properties of independence and their application to Bayesian networks, Valuations in incomplete information databases, The theory of functional and template dependencies, Reasoning about functional and full hierarchical dependencies over partial relations, Armstrong databases for functional and inclusion dependencies, Axioms and algorithms for inferences involving probabilistic independence, Inferring null join dependencies in relational databases, Generalized quantifiers in dependence logic, Application of SQL/N to the attribute-relation associations implicit in functional dependencies, Membership problem for embedded multivalued dependencies under some restricted conditions, A theory of data dependencies over relational expressions, Some results on the deductive structure of join dependencies, Inclusion dependencies and their interaction with functional dependencies