Pub Date : 1988-08-01DOI: 10.1016/b978-0-934613-40-8.50013-0
F. Sadri, R. Kowalski
{"title":"A Theorem-Proving Approach to Database Integrity","authors":"F. Sadri, R. Kowalski","doi":"10.1016/b978-0-934613-40-8.50013-0","DOIUrl":"https://doi.org/10.1016/b978-0-934613-40-8.50013-0","url":null,"abstract":"","PeriodicalId":249109,"journal":{"name":"Foundations of Deductive Databases and Logic Programming.","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127149455","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 : 1987-10-01DOI: 10.1016/b978-0-934613-40-8.50008-7
V. Lifschitz
{"title":"On the Declarative Semantics of Logic Programs with Negation","authors":"V. Lifschitz","doi":"10.1016/b978-0-934613-40-8.50008-7","DOIUrl":"https://doi.org/10.1016/b978-0-934613-40-8.50008-7","url":null,"abstract":"","PeriodicalId":249109,"journal":{"name":"Foundations of Deductive Databases and Logic Programming.","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126638206","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 : 1986-12-15DOI: 10.1016/b978-0-934613-40-8.50019-1
J. Lassez, Michael J. Maher, K. Marriott
{"title":"Unification Revisited","authors":"J. Lassez, Michael J. Maher, K. Marriott","doi":"10.1016/b978-0-934613-40-8.50019-1","DOIUrl":"https://doi.org/10.1016/b978-0-934613-40-8.50019-1","url":null,"abstract":"","PeriodicalId":249109,"journal":{"name":"Foundations of Deductive Databases and Logic Programming.","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131659254","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 : 1986-09-08DOI: 10.1016/b978-0-934613-40-8.50018-x
P. Kanellakis
{"title":"Logic Programming and Parallel Complexity","authors":"P. Kanellakis","doi":"10.1016/b978-0-934613-40-8.50018-x","DOIUrl":"https://doi.org/10.1016/b978-0-934613-40-8.50018-x","url":null,"abstract":"","PeriodicalId":249109,"journal":{"name":"Foundations of Deductive Databases and Logic Programming.","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116171524","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 : 1986-08-25DOI: 10.1016/b978-0-934613-40-8.50017-8
J. Thom, K. Ramamohanarao, L. Naish
{"title":"A Superjoin Algorithm for Deductive Databases","authors":"J. Thom, K. Ramamohanarao, L. Naish","doi":"10.1016/b978-0-934613-40-8.50017-8","DOIUrl":"https://doi.org/10.1016/b978-0-934613-40-8.50017-8","url":null,"abstract":"","PeriodicalId":249109,"journal":{"name":"Foundations of Deductive Databases and Logic Programming.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130145976","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：