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

Yehoshua Sagiv; Scott F. Walecka

doi:10.1145/322290.322297

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

Yehoshua Sagiv, Scott F. Walecka^*

^*Corresponding author for this work

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Contribution to journal › Article › peer-review

39 Scopus citations

Abstract

It is shown that a subclass of subset dependenoes (that does not include all the embedded multwalued dependenoes) has a complete axlomatlzation consisting of reflexivity and transltivity rules As a result, it is shown how to test implications of embedded muluvalued dependencies under some restricted conditions.

Original language	English
Pages (from-to)	103-117
Number of pages	15
Journal	Journal of the ACM
Volume	29
Issue number	1
DOIs	https://doi.org/10.1145/322290.322297
State	Published - 1 Jan 1982

Keywords

complete axlomatizatlon
complete formal theory
embedded multlvalued dependency
inference rule
multlvalued dependency
relational database
subset dependency

Access to Document

10.1145/322290.322297

Cite this

@article{e7e02fa25cff4ca99cd0ad14764dd06a,

title = "Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies",

abstract = "It is shown that a subclass of subset dependenoes (that does not include all the embedded multwalued dependenoes) has a complete axlomatlzation consisting of reflexivity and transltivity rules As a result, it is shown how to test implications of embedded muluvalued dependencies under some restricted conditions.",

keywords = "complete axlomatizatlon, complete formal theory, embedded multlvalued dependency, inference rule, multlvalued dependency, relational database, subset dependency",

author = "Yehoshua Sagiv and Walecka, {Scott F.}",

year = "1982",

month = jan,

day = "1",

doi = "10.1145/322290.322297",

language = "אנגלית",

volume = "29",

pages = "103--117",

journal = "Journal of the ACM",

issn = "0004-5411",

publisher = "Association for Computing Machinery (ACM)",

number = "1",

}

TY - JOUR

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

AU - Sagiv, Yehoshua

AU - Walecka, Scott F.

PY - 1982/1/1

Y1 - 1982/1/1

N2 - It is shown that a subclass of subset dependenoes (that does not include all the embedded multwalued dependenoes) has a complete axlomatlzation consisting of reflexivity and transltivity rules As a result, it is shown how to test implications of embedded muluvalued dependencies under some restricted conditions.

AB - It is shown that a subclass of subset dependenoes (that does not include all the embedded multwalued dependenoes) has a complete axlomatlzation consisting of reflexivity and transltivity rules As a result, it is shown how to test implications of embedded muluvalued dependencies under some restricted conditions.

KW - complete axlomatizatlon

KW - complete formal theory

KW - embedded multlvalued dependency

KW - inference rule

KW - multlvalued dependency

KW - relational database

KW - subset dependency

UR - http://www.scopus.com/inward/record.url?scp=0019926612&partnerID=8YFLogxK

U2 - 10.1145/322290.322297

DO - 10.1145/322290.322297

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0019926612

SN - 0004-5411

VL - 29

SP - 103

EP - 117

JO - Journal of the ACM

JF - Journal of the ACM

IS - 1

ER -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this