Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems最新文献

筛选
英文 中文
The U. R. strikes back 美国予以反击
J. Ullman
{"title":"The U. R. strikes back","authors":"J. Ullman","doi":"10.1145/588111.588114","DOIUrl":"https://doi.org/10.1145/588111.588114","url":null,"abstract":"In this paper, we try to put to rest many of the objections to the universal relation concept that have appeared in the literature. First, we shall taxonomize the varieties of ideas that are sometimes called the \"universal relation assumption.\" Then, we consider some of the arguments pro and con. In some cases, the arguments against were expressed prematurely, and solutions to the problems they expose have since been found. In other cases, the arguments against are simply fallacious. In still other cases, the problems pointed out are real, but simply serve to point out that the advantages of the universal relation are not gotten for free. We shall conclude the paper with a description of the algorithm used to interpret queries in System/U, and the reasoning behind it.","PeriodicalId":126896,"journal":{"name":"Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132671821","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 78
Multilevel atomicity 多级原子性
N. Lynch
{"title":"Multilevel atomicity","authors":"N. Lynch","doi":"10.1145/588111.588123","DOIUrl":"https://doi.org/10.1145/588111.588123","url":null,"abstract":"‘l’hc IISMI IllOddS for distributed dak?basc~ [RSIJG] arc ba>ed on a set of “entities” distributed amuunL the nodes of a network. ‘l‘hcse entities arc xcwcd by USCI’S OF the database through “trcuxactions”, which are ccr& SCquCnccS of steps (“actions”) involviiig the jndiidllal entities. ‘L‘hC Steps arc grouped into trxwctions for twu disdnct purpuscs. i.jr,q a tramaction is t6cd as a unit of rccovcry: tither all of the steps of a transaction should bc carricci out, or none of them should; tl1llS, jf a transaction cannot bc complctcd. its initial steps must bc “undone” in some way. Second, a transaction is used to define atomicity: all of the !Xci)s of a transaction furm a logical atomic unit in the sense that it should appear to users of the database that all of thcsc steps are carried 014 consccutivcly, without any intcrvcning steps of other lransactions. This rcquircmcnt that transactions appear to be atomic is called “scriali/nbility” in the hlcralure [IGLT. RSI., IIG], and has been widely acccptcd as an important correctness criterion for distributed","PeriodicalId":126896,"journal":{"name":"Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128890053","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Assumptions in relational database theory 关系数据库理论中的假设
P. Atzeni, D. S. Parker
{"title":"Assumptions in relational database theory","authors":"P. Atzeni, D. S. Parker","doi":"10.1145/588111.588113","DOIUrl":"https://doi.org/10.1145/588111.588113","url":null,"abstract":"Many results in relational database theory on the structure of dependencies, query languages, and databases in general have now been established. However, neither (a) the reliance of these results on various assumptions, nor (b) the desirability or reasonableness of these assumptions themselves have been closely examined. These assumptions are nontrivial: examples include the universal relation assumption and the lossless join assumption.The purpose of the present paper is to clarify many of the existing assumptions, and point out weaknesses. This is desirable both to harden the statements of previous results, and to evaluate recent suggestions that certain assumptions (such as the acyclic JD assumption) may be useful for modeling \"real world\" databases. Specifically, studies are made of assumptions made for (1) universal relations, (2) functional dependency inference, and (3) decomposition theory. We show that:• Some assumptions (such as uniqueness of relationships among attributes) can be more powerful than they appear;• common treatment of FDs is sometimes inappropriate, and for example FD inferences such as {A → B, B → C} |= A → C can be incorrect;• the 'decomposition' approach to design may be hard to justify in real terms; and• Acyclic JDs may have drawbacks in eliminating ambiguity in queries and in modeling real enterprises.It is hoped that this exposition will help clarify some confusing issues in this field, and will lead to a better understanding of which assumptions are reasonable and useful in modeling the \"real world\".","PeriodicalId":126896,"journal":{"name":"Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132846200","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 63
Session details: Session 1 会话详细信息:会话1
Shin-Cheng Mu
{"title":"Session details: Session 1","authors":"Shin-Cheng Mu","doi":"10.1145/3248282","DOIUrl":"https://doi.org/10.1145/3248282","url":null,"abstract":"","PeriodicalId":126896,"journal":{"name":"Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114499588","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Session details: Session 4 会话详情:会话4
Ratul Mahajan
{"title":"Session details: Session 4","authors":"Ratul Mahajan","doi":"10.1145/3262683","DOIUrl":"https://doi.org/10.1145/3262683","url":null,"abstract":"","PeriodicalId":126896,"journal":{"name":"Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124900899","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Testing containment of conjunctive queries under functional and inclusion dependencies 在功能和包含依赖项下测试联合查询的包含
David S. Johnson, Anthony C. Klug
{"title":"Testing containment of conjunctive queries under functional and inclusion dependencies","authors":"David S. Johnson, Anthony C. Klug","doi":"10.1145/588111.588138","DOIUrl":"https://doi.org/10.1145/588111.588138","url":null,"abstract":"We consider the problem of optimizing conjunctive queries in the presence of inclusion and functional dependencies. We show that the problem of containment (and hence those of equivalence and non-minimality) is in NP when either (a) there are no functional dependencies or (b) the set of dependencies is what we call key-based. These results assume that infinite databases are allowed. If only finite databases are allowed, new containments may arise, as we illustrate by an example. We also prove a \"compactness\" theorem that shows that no such examples can exist for case (b).","PeriodicalId":126896,"journal":{"name":"Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123330604","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 392
The relational model of data and cylindrical algebras 数据与圆柱代数的关系模型
T. Imielinski, W. Lipski
{"title":"The relational model of data and cylindrical algebras","authors":"T. Imielinski, W. Lipski","doi":"10.1145/588111.588139","DOIUrl":"https://doi.org/10.1145/588111.588139","url":null,"abstract":"(This paper did not arrive in time to be published in these proceedings).","PeriodicalId":126896,"journal":{"name":"Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126976245","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信