{"title":"Specifying a Database System to Itself","authors":"D. Maier","doi":"10.1007/978-1-4471-3864-8_9","DOIUrl":"https://doi.org/10.1007/978-1-4471-3864-8_9","url":null,"abstract":"","PeriodicalId":395731,"journal":{"name":"Specifications of Database Systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124700261","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}
{"title":"Towards a Structured Specification Language for Database Applications","authors":"K. Schewe, Ingrid Schirmer, Joachim W. Schmidt","doi":"10.1007/978-1-4471-3864-8_14","DOIUrl":"https://doi.org/10.1007/978-1-4471-3864-8_14","url":null,"abstract":"","PeriodicalId":395731,"journal":{"name":"Specifications of Database Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114793480","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}
{"title":"Object Models and Methodology for Object-Oriented Database Design","authors":"Catherine Hamon, M. Créhange","doi":"10.1007/978-1-4471-3864-8_7","DOIUrl":"https://doi.org/10.1007/978-1-4471-3864-8_7","url":null,"abstract":"","PeriodicalId":395731,"journal":{"name":"Specifications of Database Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130294948","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}
{"title":"Specification of Database Applications in the TROLL Language","authors":"G. Saake, R. Jungclaus","doi":"10.1007/978-1-4471-3864-8_12","DOIUrl":"https://doi.org/10.1007/978-1-4471-3864-8_12","url":null,"abstract":"","PeriodicalId":395731,"journal":{"name":"Specifications of Database Systems","volume":"1982 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130297703","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}
{"title":"Algebraic Specification of Databases - A Survey from a Database Perspective","authors":"W. Samson, A. Wakelin","doi":"10.1007/978-1-4471-3864-8_13","DOIUrl":"https://doi.org/10.1007/978-1-4471-3864-8_13","url":null,"abstract":"","PeriodicalId":395731,"journal":{"name":"Specifications of Database Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130396951","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}
{"title":"Transforming Functional Database Schemes to Relational Representations","authors":"A. Aerts, Pme Paul De Bra, Hee van Km","doi":"10.1007/978-1-4471-3864-8_1","DOIUrl":"https://doi.org/10.1007/978-1-4471-3864-8_1","url":null,"abstract":"","PeriodicalId":395731,"journal":{"name":"Specifications of Database Systems","volume":"18 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124235378","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}
{"title":"Formal Definition of Nested Relations by Syntactical Mappings","authors":"S. Ceri, S. Crespi-Reghizzi","doi":"10.1007/978-1-4471-3864-8_3","DOIUrl":"https://doi.org/10.1007/978-1-4471-3864-8_3","url":null,"abstract":"","PeriodicalId":395731,"journal":{"name":"Specifications of Database Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128900516","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}