Extended algebra and calculus for nested relational databases
Relaxing the assumption that relations are always in First-Normal-Form (1NF) necessitates a reexamination of the fundamentals of relational database theory. In this paper we take a first step towards unifying the various theories of ¬1NF databases. We start by determining an appropriate model to cou...
Gespeichert in:
Veröffentlicht in: | ACM transactions on database systems 1988-10, Vol.13 (4), p.389-417 |
---|---|
Hauptverfasser: | , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | 417 |
---|---|
container_issue | 4 |
container_start_page | 389 |
container_title | ACM transactions on database systems |
container_volume | 13 |
creator | Roth, Mark A. Korth, Herry F. Silberschatz, Abraham |
description | Relaxing the assumption that relations are always in First-Normal-Form (1NF) necessitates a reexamination of the fundamentals of relational database theory. In this paper we take a first step towards unifying the various theories of ¬1NF databases. We start by determining an appropriate model to couch our formalisms in. We then define an extended relational calculus as the theoretical basis for our ¬1NF database query language. We define a minimal extended relational algebra and prove its equivalence to the ¬1NF relational calculus. We define a class of ¬1NF relations with certain "good" properties and extend our algebra operators to work within this domain. We prove certain desirable equivalences that hold only if we restrict our language to this domain. |
doi_str_mv | 10.1145/49346.49347 |
format | Article |
fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_29107953</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>29107953</sourcerecordid><originalsourceid>FETCH-LOGICAL-a382t-66914a1fca1ac2cdd76bab9e510c776962d85f8dc8f45e11969ad15ce5ad22c83</originalsourceid><addsrcrecordid>eNo9kL1PwzAUxC0EEqUwsTBmYkEpfo4_4oEBVS0gVWKBOXqxX1CRmxQ7keC_J20Qy91wP51Ox9g18AWAVPfSFlIvDmpO2AyUMrnUUp6yGS-0yJUFdc4uUvrknMvSmhl7WH331HryGYYPqiNm2PrMYXBDGFLWdDFrKfVjHilgv-1aDJnHHmtMlC7ZWYMh0dWfz9n7evW2fM43r08vy8dNjkUp-lxrCxKhcQjohPPe6BprSwq4M0ZbLXypmtK7spGKAKy26EE5UuiFcGUxZ7dT7z52X8O4p9ptk6MQsKVuSJWwwI1VxQjeTaCLXUqRmmoftzuMPxXw6nBRdbzoqGakbyYa3e4fnKJfh8Rgwg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>29107953</pqid></control><display><type>article</type><title>Extended algebra and calculus for nested relational databases</title><source>ACM Digital Library Complete</source><creator>Roth, Mark A. ; Korth, Herry F. ; Silberschatz, Abraham</creator><creatorcontrib>Roth, Mark A. ; Korth, Herry F. ; Silberschatz, Abraham</creatorcontrib><description>Relaxing the assumption that relations are always in First-Normal-Form (1NF) necessitates a reexamination of the fundamentals of relational database theory. In this paper we take a first step towards unifying the various theories of ¬1NF databases. We start by determining an appropriate model to couch our formalisms in. We then define an extended relational calculus as the theoretical basis for our ¬1NF database query language. We define a minimal extended relational algebra and prove its equivalence to the ¬1NF relational calculus. We define a class of ¬1NF relations with certain "good" properties and extend our algebra operators to work within this domain. We prove certain desirable equivalences that hold only if we restrict our language to this domain.</description><identifier>ISSN: 0362-5915</identifier><identifier>EISSN: 1557-4644</identifier><identifier>DOI: 10.1145/49346.49347</identifier><language>eng</language><publisher>New York, NY, USA: ACM</publisher><subject>Data management systems ; Database design and models ; Information systems ; Query languages ; Relational database model</subject><ispartof>ACM transactions on database systems, 1988-10, Vol.13 (4), p.389-417</ispartof><rights>ACM</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-a382t-66914a1fca1ac2cdd76bab9e510c776962d85f8dc8f45e11969ad15ce5ad22c83</citedby><cites>FETCH-LOGICAL-a382t-66914a1fca1ac2cdd76bab9e510c776962d85f8dc8f45e11969ad15ce5ad22c83</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://dl.acm.org/doi/pdf/10.1145/49346.49347$$EPDF$$P50$$Gacm$$H</linktopdf><link.rule.ids>314,780,784,2282,27924,27925,40196,76228</link.rule.ids></links><search><creatorcontrib>Roth, Mark A.</creatorcontrib><creatorcontrib>Korth, Herry F.</creatorcontrib><creatorcontrib>Silberschatz, Abraham</creatorcontrib><title>Extended algebra and calculus for nested relational databases</title><title>ACM transactions on database systems</title><addtitle>ACM TODS</addtitle><description>Relaxing the assumption that relations are always in First-Normal-Form (1NF) necessitates a reexamination of the fundamentals of relational database theory. In this paper we take a first step towards unifying the various theories of ¬1NF databases. We start by determining an appropriate model to couch our formalisms in. We then define an extended relational calculus as the theoretical basis for our ¬1NF database query language. We define a minimal extended relational algebra and prove its equivalence to the ¬1NF relational calculus. We define a class of ¬1NF relations with certain "good" properties and extend our algebra operators to work within this domain. We prove certain desirable equivalences that hold only if we restrict our language to this domain.</description><subject>Data management systems</subject><subject>Database design and models</subject><subject>Information systems</subject><subject>Query languages</subject><subject>Relational database model</subject><issn>0362-5915</issn><issn>1557-4644</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1988</creationdate><recordtype>article</recordtype><recordid>eNo9kL1PwzAUxC0EEqUwsTBmYkEpfo4_4oEBVS0gVWKBOXqxX1CRmxQ7keC_J20Qy91wP51Ox9g18AWAVPfSFlIvDmpO2AyUMrnUUp6yGS-0yJUFdc4uUvrknMvSmhl7WH331HryGYYPqiNm2PrMYXBDGFLWdDFrKfVjHilgv-1aDJnHHmtMlC7ZWYMh0dWfz9n7evW2fM43r08vy8dNjkUp-lxrCxKhcQjohPPe6BprSwq4M0ZbLXypmtK7spGKAKy26EE5UuiFcGUxZ7dT7z52X8O4p9ptk6MQsKVuSJWwwI1VxQjeTaCLXUqRmmoftzuMPxXw6nBRdbzoqGakbyYa3e4fnKJfh8Rgwg</recordid><startdate>198810</startdate><enddate>198810</enddate><creator>Roth, Mark A.</creator><creator>Korth, Herry F.</creator><creator>Silberschatz, Abraham</creator><general>ACM</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>198810</creationdate><title>Extended algebra and calculus for nested relational databases</title><author>Roth, Mark A. ; Korth, Herry F. ; Silberschatz, Abraham</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a382t-66914a1fca1ac2cdd76bab9e510c776962d85f8dc8f45e11969ad15ce5ad22c83</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1988</creationdate><topic>Data management systems</topic><topic>Database design and models</topic><topic>Information systems</topic><topic>Query languages</topic><topic>Relational database model</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Roth, Mark A.</creatorcontrib><creatorcontrib>Korth, Herry F.</creatorcontrib><creatorcontrib>Silberschatz, Abraham</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>ACM transactions on database systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Roth, Mark A.</au><au>Korth, Herry F.</au><au>Silberschatz, Abraham</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Extended algebra and calculus for nested relational databases</atitle><jtitle>ACM transactions on database systems</jtitle><stitle>ACM TODS</stitle><date>1988-10</date><risdate>1988</risdate><volume>13</volume><issue>4</issue><spage>389</spage><epage>417</epage><pages>389-417</pages><issn>0362-5915</issn><eissn>1557-4644</eissn><abstract>Relaxing the assumption that relations are always in First-Normal-Form (1NF) necessitates a reexamination of the fundamentals of relational database theory. In this paper we take a first step towards unifying the various theories of ¬1NF databases. We start by determining an appropriate model to couch our formalisms in. We then define an extended relational calculus as the theoretical basis for our ¬1NF database query language. We define a minimal extended relational algebra and prove its equivalence to the ¬1NF relational calculus. We define a class of ¬1NF relations with certain "good" properties and extend our algebra operators to work within this domain. We prove certain desirable equivalences that hold only if we restrict our language to this domain.</abstract><cop>New York, NY, USA</cop><pub>ACM</pub><doi>10.1145/49346.49347</doi><tpages>29</tpages><oa>free_for_read</oa></addata></record> |
fulltext | fulltext |
identifier | ISSN: 0362-5915 |
ispartof | ACM transactions on database systems, 1988-10, Vol.13 (4), p.389-417 |
issn | 0362-5915 1557-4644 |
language | eng |
recordid | cdi_proquest_miscellaneous_29107953 |
source | ACM Digital Library Complete |
subjects | Data management systems Database design and models Information systems Query languages Relational database model |
title | Extended algebra and calculus for nested relational databases |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-27T12%3A15%3A10IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Extended%20algebra%20and%20calculus%20for%20nested%20relational%20databases&rft.jtitle=ACM%20transactions%20on%20database%20systems&rft.au=Roth,%20Mark%20A.&rft.date=1988-10&rft.volume=13&rft.issue=4&rft.spage=389&rft.epage=417&rft.pages=389-417&rft.issn=0362-5915&rft.eissn=1557-4644&rft_id=info:doi/10.1145/49346.49347&rft_dat=%3Cproquest_cross%3E29107953%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=29107953&rft_id=info:pmid/&rfr_iscdi=true |