时间演绎数据库模型

ACM-SE 35 Pub Date : 1997-04-02 DOI:10.1145/2817460.2817533

Rajshekhar Sunderraman

{"title":"时间演绎数据库模型","authors":"Rajshekhar Sunderraman","doi":"10.1145/2817460.2817533","DOIUrl":null,"url":null,"abstract":"We extend the deductive database model by incorporating the notion of time. We define the notion of temporal Horn clauses. The declarative semantics of temporal deductive databases is presented. Then, we develop a bottom-up evaluation scheme for temporal deductive rules. We establish the correctness of the bottom-up approach. Examples of queries are presented.","PeriodicalId":274966,"journal":{"name":"ACM-SE 35","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A temporal deductive database model\",\"authors\":\"Rajshekhar Sunderraman\",\"doi\":\"10.1145/2817460.2817533\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We extend the deductive database model by incorporating the notion of time. We define the notion of temporal Horn clauses. The declarative semantics of temporal deductive databases is presented. Then, we develop a bottom-up evaluation scheme for temporal deductive rules. We establish the correctness of the bottom-up approach. Examples of queries are presented.\",\"PeriodicalId\":274966,\"journal\":{\"name\":\"ACM-SE 35\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-04-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM-SE 35\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2817460.2817533\",\"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 35","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2817460.2817533","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们通过加入时间的概念扩展了演绎数据库模型。我们定义了时间角子句的概念。提出了时态演绎数据库的声明语义。然后，我们开发了一种自底向上的时间演绎规则评价方案。我们建立了自底向上方法的正确性。给出了查询示例。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

A temporal deductive database model

We extend the deductive database model by incorporating the notion of time. We define the notion of temporal Horn clauses. The declarative semantics of temporal deductive databases is presented. Then, we develop a bottom-up evaluation scheme for temporal deductive rules. We establish the correctness of the bottom-up approach. Examples of queries are presented.

求助全文

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

来源期刊

ACM-SE 35

自引率

0.00%

发文量

期刊最新文献

Improving the identification of verbs Constructing Delaunay triangulation on the Intel Paragon Software agents and the role of market protocols Interactive Petri net simulation Hybrid evolutionary path planning via visibility-based repair