Pub Date : 1992-10-19DOI: 10.1007/978-1-4471-3554-8_1
J. V. D. Bussche, D. V. Gucht
{"title":"Non-Deterministic Aspects of Object-Creating Database Transformations","authors":"J. V. D. Bussche, D. V. Gucht","doi":"10.1007/978-1-4471-3554-8_1","DOIUrl":"https://doi.org/10.1007/978-1-4471-3554-8_1","url":null,"abstract":"","PeriodicalId":306896,"journal":{"name":"Workshop on Foundations of Models and Languages for Data and Objects","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129622356","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}
Pub Date : 1992-10-19DOI: 10.1007/978-1-4471-3554-8_8
E. Bertino, M. Martelli, D. Montesi
{"title":"Modelling Database Updates with Constraint Logic Programming","authors":"E. Bertino, M. Martelli, D. Montesi","doi":"10.1007/978-1-4471-3554-8_8","DOIUrl":"https://doi.org/10.1007/978-1-4471-3554-8_8","url":null,"abstract":"","PeriodicalId":306896,"journal":{"name":"Workshop on Foundations of Models and Languages for Data and Objects","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129229679","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}
Pub Date : 1992-10-19DOI: 10.1007/978-1-4471-3554-8_3
G. Lausen, G. Saake
{"title":"A Possible World Semantics for Updates by Versioning","authors":"G. Lausen, G. Saake","doi":"10.1007/978-1-4471-3554-8_3","DOIUrl":"https://doi.org/10.1007/978-1-4471-3554-8_3","url":null,"abstract":"","PeriodicalId":306896,"journal":{"name":"Workshop on Foundations of Models and Languages for Data and Objects","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133923597","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}
Pub Date : 1992-10-19DOI: 10.1007/978-1-4471-3554-8_4
H. Haav
{"title":"Specifying Semantics of Evolution in Object-Oriented Databases Using Partial Deduction","authors":"H. Haav","doi":"10.1007/978-1-4471-3554-8_4","DOIUrl":"https://doi.org/10.1007/978-1-4471-3554-8_4","url":null,"abstract":"","PeriodicalId":306896,"journal":{"name":"Workshop on Foundations of Models and Languages for Data and Objects","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127787274","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}
Pub Date : 1992-10-19DOI: 10.1007/978-1-4471-3554-8_12
S. Schwiderski-Grosche, G. Saake
{"title":"Monitoring Temporal Permissions using Partially Evaluated Transition Graphs","authors":"S. Schwiderski-Grosche, G. Saake","doi":"10.1007/978-1-4471-3554-8_12","DOIUrl":"https://doi.org/10.1007/978-1-4471-3554-8_12","url":null,"abstract":"","PeriodicalId":306896,"journal":{"name":"Workshop on Foundations of Models and Languages for Data and Objects","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113945993","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}
Pub Date : 1992-10-19DOI: 10.1007/978-1-4471-3554-8_11
K. Schewe, B. Thalheim, Joachim W. Schmidt, Ingrid Schirmer
{"title":"Integrity Enforcement in Object-Oriented Databases","authors":"K. Schewe, B. Thalheim, Joachim W. Schmidt, Ingrid Schirmer","doi":"10.1007/978-1-4471-3554-8_11","DOIUrl":"https://doi.org/10.1007/978-1-4471-3554-8_11","url":null,"abstract":"","PeriodicalId":306896,"journal":{"name":"Workshop on Foundations of Models and Languages for Data and Objects","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122771080","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}
Pub Date : 1992-10-19DOI: 10.1007/978-1-4471-3554-8_9
N. Azarmi
{"title":"A Formalisation of Logic Databases and Integrity Constraints","authors":"N. Azarmi","doi":"10.1007/978-1-4471-3554-8_9","DOIUrl":"https://doi.org/10.1007/978-1-4471-3554-8_9","url":null,"abstract":"","PeriodicalId":306896,"journal":{"name":"Workshop on Foundations of Models and Languages for Data and Objects","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132830652","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}
Pub Date : 1992-10-19DOI: 10.1007/978-1-4471-3554-8_14
K. Davis, Guozhu Dong, A. Heuer
{"title":"Discussion Report: Object Migration and Classification","authors":"K. Davis, Guozhu Dong, A. Heuer","doi":"10.1007/978-1-4471-3554-8_14","DOIUrl":"https://doi.org/10.1007/978-1-4471-3554-8_14","url":null,"abstract":"","PeriodicalId":306896,"journal":{"name":"Workshop on Foundations of Models and Languages for Data and Objects","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121657528","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}
Pub Date : 1992-10-19DOI: 10.1007/978-1-4471-3554-8_5
E. Astesiano, E. Zucca
{"title":"A Semantic Model for Dynamic Systems","authors":"E. Astesiano, E. Zucca","doi":"10.1007/978-1-4471-3554-8_5","DOIUrl":"https://doi.org/10.1007/978-1-4471-3554-8_5","url":null,"abstract":"","PeriodicalId":306896,"journal":{"name":"Workshop on Foundations of Models and Languages for Data and Objects","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129965907","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}
Pub Date : 1900-01-01DOI: 10.1007/978-1-4615-5137-9_9
F. Neven
{"title":"Structured Document Query Languages Based on Attribute Grammars: Locality and Non-Determinism","authors":"F. Neven","doi":"10.1007/978-1-4615-5137-9_9","DOIUrl":"https://doi.org/10.1007/978-1-4615-5137-9_9","url":null,"abstract":"","PeriodicalId":306896,"journal":{"name":"Workshop on Foundations of Models and Languages for Data and Objects","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130118200","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}