{"title":"关系表达式的一些属性","authors":"Martin K. Solomon","doi":"10.1145/503506.503525","DOIUrl":null,"url":null,"abstract":"We obtain certain results concerning the power of expressions in relational (calculus and algebra) database sublanguages. Our main results state the undecidability of the equivalence and finite equivalence problems for relational expressions. We also observe that the type of join used in a relational algebra affects the complexity of problems for that algebra. For example, using equi-joins instead of natural joins leads to unnecessarily complex expressions. We relate these results to the problems of query optimization and concurrency control.","PeriodicalId":258426,"journal":{"name":"ACM-SE 17","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1979-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Some properties of relational expressions\",\"authors\":\"Martin K. Solomon\",\"doi\":\"10.1145/503506.503525\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We obtain certain results concerning the power of expressions in relational (calculus and algebra) database sublanguages. Our main results state the undecidability of the equivalence and finite equivalence problems for relational expressions. We also observe that the type of join used in a relational algebra affects the complexity of problems for that algebra. For example, using equi-joins instead of natural joins leads to unnecessarily complex expressions. We relate these results to the problems of query optimization and concurrency control.\",\"PeriodicalId\":258426,\"journal\":{\"name\":\"ACM-SE 17\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1979-04-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM-SE 17\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/503506.503525\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM-SE 17","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/503506.503525","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We obtain certain results concerning the power of expressions in relational (calculus and algebra) database sublanguages. Our main results state the undecidability of the equivalence and finite equivalence problems for relational expressions. We also observe that the type of join used in a relational algebra affects the complexity of problems for that algebra. For example, using equi-joins instead of natural joins leads to unnecessarily complex expressions. We relate these results to the problems of query optimization and concurrency control.