发布求助
文献互助 智能选刊 最新文献

Workshop on Data Abstraction, Databases and Conceptual Modelling最新文献

筛选
英文 中文
Tutorial on programming language research 编程语言研究教程
Workshop on Data Abstraction, Databases and Conceptual Modelling Pub Date : 1900-01-01 DOI: 10.1145/800227.806874
L. Rowe
{"title":"Tutorial on programming language research","authors":"L. Rowe","doi":"10.1145/800227.806874","DOIUrl":"https://doi.org/10.1145/800227.806874","url":null,"abstract":"Rowe: I am going to talk a little about data abstraction from a programming language viewpoint. I suspect that what I will say in some places will be every bit as controversial amongst programming language folks, as what Dennis said was amongst database folks.\u0000 Historically, programming languages evolve continually, from very low-level representations or descriptions of computations to higher-level descriptions. The idea is to express computations in a way that makes them easier to write, faster to debug, and make them survive change. All these marvelous buzzwords!","PeriodicalId":347815,"journal":{"name":"Workshop on Data Abstraction, Databases and Conceptual Modelling","volume":"254 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":"113998645","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}
引用次数: 1
Behaviour (discussion) 行为(讨论)
Workshop on Data Abstraction, Databases and Conceptual Modelling Pub Date : 1900-01-01 DOI: 10.1145/960128.806877
Dennis McLeod, P. Buneman, R. Cattell
{"title":"Behaviour (discussion)","authors":"Dennis McLeod, P. Buneman, R. Cattell","doi":"10.1145/960128.806877","DOIUrl":"https://doi.org/10.1145/960128.806877","url":null,"abstract":"","PeriodicalId":347815,"journal":{"name":"Workshop on Data Abstraction, Databases and Conceptual Modelling","volume":"21 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":"122779033","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
An interactive integrated system to design and use data bases 设计和使用数据库的交互式集成系统
Workshop on Data Abstraction, Databases and Conceptual Modelling Pub Date : 1900-01-01 DOI: 10.1145/800227.806883
A. Albano, R. Orsini
{"title":"An interactive integrated system to design and use data bases","authors":"A. Albano, R. Orsini","doi":"10.1145/800227.806883","DOIUrl":"https://doi.org/10.1145/800227.806883","url":null,"abstract":"Recent works on languages for modeling complex data base application environments show overlapping issues with other research areas such as Artificial Intelligence and Programming Languages. Moreover, a lot of attention is nowadays given to another important field, the overall data base design process, which, as it will be shown, furthermore extends the above connections.","PeriodicalId":347815,"journal":{"name":"Workshop on Data Abstraction, Databases and Conceptual Modelling","volume":"120 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":"116370736","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}
引用次数: 2
Tutorial on artificial intelligence research 人工智能研究教程
Workshop on Data Abstraction, Databases and Conceptual Modelling Pub Date : 1900-01-01 DOI: 10.1145/800227.806870
J. Mylopoulos
{"title":"Tutorial on artificial intelligence research","authors":"J. Mylopoulos","doi":"10.1145/800227.806870","DOIUrl":"https://doi.org/10.1145/800227.806870","url":null,"abstract":"First of all, a few things about the basic terms I will use. A knowledge representation scheme is a formalism for representing knowledge. The term knowledge representation will be used to refer to knowledge representation schemes, knowledge representation languages, and so on. The corresponding term in database modelling is data model or semantic data model. We're talking about natural ways of capturing some sort of reality using a specification language. The things produced when using a knowledge representation scheme are referred to as knowledge bases which correspond in database modelling and programming languages with conceptual schema and program specification respectively.\u0000 What is a knowledge base? What is modelled by a knowledge base? I am happy to report that there is no one answer from people working in knowledge representation. Some people will argue that a knowledge base is a model of some world. Others will say that it is linguistic information about some world, and so on. Depending on the viewpoint, there are differences in knowledge representation schemes.","PeriodicalId":347815,"journal":{"name":"Workshop on Data Abstraction, Databases and Conceptual Modelling","volume":"30 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":"121489406","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}
引用次数: 1
On the specification of behavioural constraints 关于行为约束的规范
Workshop on Data Abstraction, Databases and Conceptual Modelling Pub Date : 1900-01-01 DOI: 10.1145/800227.806892
F. Cristian
{"title":"On the specification of behavioural constraints","authors":"F. Cristian","doi":"10.1145/800227.806892","DOIUrl":"https://doi.org/10.1145/800227.806892","url":null,"abstract":"When designing information processing systems, the key problem is to find what symbols and constructs (available in some given language) should be used so as to be able to answer the questions that the users want to ask and to perform the state transitions that the users have to perform in order to keep in step with some reality that is being modelled. If the language that is being used cannot be interpreted directly by the software of a computer (e.g. set theory, algebra, semantic networks), the resulting model is called an abstract model (e.g. a specification, a data base schema). If all of the symbols and constructs used to express the model can be interpreted by a computer, the model is a concrete implementation (e.g. a data base system). Both the abstract and concrete models capture some aspects of the reality that is modelled. They differ with respect to the languages in which they are expressed.\u0000 The choice of the languages which are appropriate for writing such models is a subject of intensive debate. The recent workshop on Data Abstraction, Data Bases and Conceptual Modelling has shown that this debate is not likely to diminish in the near future. In the context of this debate, however, a common opinion was expressed several times by data base participants: the data models used to specify data base schemas are lacking to support the specification of operations tailored to particular application environments. It is therefore expected that in the context of data base modelling, the integration of operations (behaviour) with data (structure) will be one of the most fertile research areas for the next few years.","PeriodicalId":347815,"journal":{"name":"Workshop on Data Abstraction, Databases and Conceptual Modelling","volume":"34 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":"125789531","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
Towards constructive axiomatic specifications 走向建设性的公理规范
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":"Towards constructive axiomatic specifications","authors":"C. S. D. Santos, A. Furtado, J. M. V. D. Castilho, S. Carvalho","doi":"10.1145/800227.806916","DOIUrl":"https://doi.org/10.1145/800227.806916","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:\u0000 1. Choose a data model;\u0000 2. Establish a taxonomy of integrity constraints;\u0000 3. Specify the data model formally;\u0000 4. Develop a methodology for specifying conceptual schemas for different applications, based on the data model;\u0000 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.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127208778","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}
引用次数: 2
Use of database organization in the Consul system Consul系统中数据库组织的使用
Workshop on Data Abstraction, Databases and Conceptual Modelling Pub Date : 1900-01-01 DOI: 10.1145/800227.806907
W. Mark
{"title":"Use of database organization in the Consul system","authors":"W. Mark","doi":"10.1145/800227.806907","DOIUrl":"https://doi.org/10.1145/800227.806907","url":null,"abstract":"A fundamental aspect of the Consul system is the way the organization of the database defines the system's operation and unifies its components. Accessing and maintaining the database is the focus of all system activities, from parsing English to executing programs.","PeriodicalId":347815,"journal":{"name":"Workshop on Data Abstraction, Databases and Conceptual Modelling","volume":"48 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":"116645060","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
Multiple points of view in modelling programs 在建模程序中的多个观点
Workshop on Data Abstraction, Databases and Conceptual Modelling Pub Date : 1900-01-01 DOI: 10.1145/800227.806914
C. Rich
{"title":"Multiple points of view in modelling programs","authors":"C. Rich","doi":"10.1145/800227.806914","DOIUrl":"https://doi.org/10.1145/800227.806914","url":null,"abstract":"An important issue discussed at the workshop on data abstraction is the need to represent multiple, overlapping points of view and relationships between them. The first two sections of this paper motivate the use of multiple and overlapping points of view in modelling programs and data structures. The final section of the paper briefly describes a new formalism, called overlays, which has been developed for this purpose, and which may be of general interest.\u0000 The overall goal of the research from which this paper is drawn is to compile a library of standard, generally used data and control abstractions to be used in the interactive analysis, synthesis and verification of programs. Multiple points of view were needed in this context is in order to decompose the data and control structures of users' programs in a way which makes explicit their relationship to the library of standard abstractions.","PeriodicalId":347815,"journal":{"name":"Workshop on Data Abstraction, Databases and Conceptual Modelling","volume":"16 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":"126765886","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}
引用次数: 5
What Should Be Modelled? (discussion) 应该模仿什么?(讨论)
Workshop on Data Abstraction, Databases and Conceptual Modelling Pub Date : 1900-01-01 DOI: 10.1145/960128.806875
R. Balzer
{"title":"What Should Be Modelled? (discussion)","authors":"R. Balzer","doi":"10.1145/960128.806875","DOIUrl":"https://doi.org/10.1145/960128.806875","url":null,"abstract":"","PeriodicalId":347815,"journal":{"name":"Workshop on Data Abstraction, Databases and Conceptual Modelling","volume":"129 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":"121987092","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
Presentation (discussion) 演讲(讨论)
Workshop on Data Abstraction, Databases and Conceptual Modelling Pub Date : 1900-01-01 DOI: 10.1145/960128.806878
L. Deutsch, J. Carbonell, Charles Rich, R. Reiter, H. Wedekind, P. Hayes
{"title":"Presentation (discussion)","authors":"L. Deutsch, J. Carbonell, Charles Rich, R. Reiter, H. Wedekind, P. Hayes","doi":"10.1145/960128.806878","DOIUrl":"https://doi.org/10.1145/960128.806878","url":null,"abstract":"","PeriodicalId":347815,"journal":{"name":"Workshop on Data Abstraction, Databases and Conceptual Modelling","volume":"28 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":"120998116","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}
引用次数: 1
首页 上一页 下一页 尾页
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学术官方微信