走向建设性的公理规范

Workshop on Data Abstraction, Databases and Conceptual Modelling Pub Date : 1900-01-01 DOI:10.1145/800227.806916

C. S. D. Santos, A. Furtado, J. M. V. D. Castilho, S. Carvalho

{"title":"走向建设性的公理规范","authors":"C. S. D. Santos, A. Furtado, J. M. V. D. Castilho, S. Carvalho","doi":"10.1145/800227.806916","DOIUrl":null,"url":null,"abstract":"The main goal of our efforts is the specification of data bases whose structure and behaviour are restricted by semantic integrity constraints. Research proceeds along the following stages:\n 1. Choose a data model;\n 2. Establish a taxonomy of integrity constraints;\n 3. Specify the data model formally;\n 4. Develop a methodology for specifying conceptual schemas for different applications, based on the data model;\n 5. Provide a conceptual characterization of query and update operations.","PeriodicalId":347815,"journal":{"name":"Workshop on Data Abstraction, Databases and Conceptual Modelling","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Towards constructive axiomatic specifications\",\"authors\":\"C. S. D. Santos, A. Furtado, J. M. V. D. Castilho, S. Carvalho\",\"doi\":\"10.1145/800227.806916\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The main goal of our efforts is the specification of data bases whose structure and behaviour are restricted by semantic integrity constraints. Research proceeds along the following stages:\\n 1. Choose a data model;\\n 2. Establish a taxonomy of integrity constraints;\\n 3. Specify the data model formally;\\n 4. Develop a methodology for specifying conceptual schemas for different applications, based on the data model;\\n 5. Provide a conceptual characterization of query and update operations.\",\"PeriodicalId\":347815,\"journal\":{\"name\":\"Workshop on Data Abstraction, Databases and Conceptual Modelling\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Workshop on Data Abstraction, Databases and Conceptual Modelling\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/800227.806916\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Workshop on Data Abstraction, Databases and Conceptual Modelling","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/800227.806916","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

我们努力的主要目标是规范那些结构和行为受语义完整性约束限制的数据库。研究沿着以下几个阶段进行:1。选择一个数据模型;2. 建立完整性约束的分类;3.正式指定数据模型;4. 根据数据模型，为不同的应用程序开发一种指定概念模式的方法;5. 提供查询和更新操作的概念性描述。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Towards constructive axiomatic specifications

The main goal of our efforts is the specification of data bases whose structure and behaviour are restricted by semantic integrity constraints. Research proceeds along the following stages: 1. Choose a data model; 2. Establish a taxonomy of integrity constraints; 3. Specify the data model formally; 4. Develop a methodology for specifying conceptual schemas for different applications, based on the data model; 5. Provide a conceptual characterization of query and update operations.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Workshop on Data Abstraction, Databases and Conceptual Modelling

自引率

0.00%

发文量