{"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}
引用次数: 0
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
