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

International Conference on Data and Knowledge Bases最新文献

筛选
英文 中文
Differential Fixpoint Methods and Stratification of Logic Programs 逻辑程序的微分不动点方法与分层
International Conference on Data and Knowledge Bases Pub Date : 1900-01-01 DOI: 10.1016/b978-1-4832-1313-2.50010-x
D. Saccá, C. Zaniolo
{"title":"Differential Fixpoint Methods and Stratification of Logic Programs","authors":"D. Saccá, C. Zaniolo","doi":"10.1016/b978-1-4832-1313-2.50010-x","DOIUrl":"https://doi.org/10.1016/b978-1-4832-1313-2.50010-x","url":null,"abstract":"","PeriodicalId":108321,"journal":{"name":"International Conference on Data and Knowledge Bases","volume":"2 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":"127717317","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}
引用次数: 11
Non-Deterministic Choice in Datalog 数据目录中的非确定性选择
International Conference on Data and Knowledge Bases Pub Date : 1900-01-01 DOI: 10.1016/b978-1-4832-1313-2.50038-x
R. Krishnamurthy, S. Naqvi
{"title":"Non-Deterministic Choice in Datalog","authors":"R. Krishnamurthy, S. Naqvi","doi":"10.1016/b978-1-4832-1313-2.50038-x","DOIUrl":"https://doi.org/10.1016/b978-1-4832-1313-2.50038-x","url":null,"abstract":"","PeriodicalId":108321,"journal":{"name":"International Conference on Data and Knowledge Bases","volume":"25 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":"129178858","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}
引用次数: 64
Operations on Families of Sets for Exhaustive Search, Given a Monotonic Function 给定单调函数的穷举搜索集族上的运算
International Conference on Data and Knowledge Bases Pub Date : 1900-01-01 DOI: 10.1016/b978-1-4832-1313-2.50030-5
S. Romanski
{"title":"Operations on Families of Sets for Exhaustive Search, Given a Monotonic Function","authors":"S. Romanski","doi":"10.1016/b978-1-4832-1313-2.50030-5","DOIUrl":"https://doi.org/10.1016/b978-1-4832-1313-2.50030-5","url":null,"abstract":"","PeriodicalId":108321,"journal":{"name":"International Conference on Data and Knowledge Bases","volume":"10 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":"115500997","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}
引用次数: 20
Parallelism and Data Management 并行和数据管理
International Conference on Data and Knowledge Bases Pub Date : 1900-01-01 DOI: 10.1016/b978-1-4832-1313-2.50034-2
H. Boral
{"title":"Parallelism and Data Management","authors":"H. Boral","doi":"10.1016/b978-1-4832-1313-2.50034-2","DOIUrl":"https://doi.org/10.1016/b978-1-4832-1313-2.50034-2","url":null,"abstract":"","PeriodicalId":108321,"journal":{"name":"International Conference on Data and Knowledge Bases","volume":"47 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":"115526306","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}
引用次数: 21
Active Database Management Systems 主动数据库管理系统
International Conference on Data and Knowledge Bases Pub Date : 1900-01-01 DOI: 10.1016/b978-1-4832-1313-2.50019-6
U. Dayal
{"title":"Active Database Management Systems","authors":"U. Dayal","doi":"10.1016/b978-1-4832-1313-2.50019-6","DOIUrl":"https://doi.org/10.1016/b978-1-4832-1313-2.50019-6","url":null,"abstract":"","PeriodicalId":108321,"journal":{"name":"International Conference on Data and Knowledge Bases","volume":"117 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":"127286939","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}
引用次数: 230
Transaction Control Mechanism for the Object Cache Interface of R²D² R²D²对象缓存接口的事务控制机制
International Conference on Data and Knowledge Bases Pub Date : 1900-01-01 DOI: 10.1016/b978-1-4832-1313-2.50013-5
M. Dürr, A. Kemper
{"title":"Transaction Control Mechanism for the Object Cache Interface of R²D²","authors":"M. Dürr, A. Kemper","doi":"10.1016/b978-1-4832-1313-2.50013-5","DOIUrl":"https://doi.org/10.1016/b978-1-4832-1313-2.50013-5","url":null,"abstract":"","PeriodicalId":108321,"journal":{"name":"International Conference on Data and Knowledge Bases","volume":"11 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":"130397014","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}
引用次数: 4
One-Directional Recursive Formulas 单向递归公式
International Conference on Data and Knowledge Bases Pub Date : 1900-01-01 DOI: 10.1016/b978-1-4832-1313-2.50012-3
C. Youn, L. Henschen, Jiawei Han
{"title":"One-Directional Recursive Formulas","authors":"C. Youn, L. Henschen, Jiawei Han","doi":"10.1016/b978-1-4832-1313-2.50012-3","DOIUrl":"https://doi.org/10.1016/b978-1-4832-1313-2.50012-3","url":null,"abstract":"","PeriodicalId":108321,"journal":{"name":"International Conference on Data and Knowledge Bases","volume":"261 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":"122090168","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
An Effective Method for Storing and Retrieving Prolog Clauses from a Relational Database 一种从关系数据库中存储和检索前言子句的有效方法
International Conference on Data and Knowledge Bases Pub Date : 1900-01-01 DOI: 10.1016/b978-1-4832-1313-2.50026-3
K. Rothermel
{"title":"An Effective Method for Storing and Retrieving Prolog Clauses from a Relational Database","authors":"K. Rothermel","doi":"10.1016/b978-1-4832-1313-2.50026-3","DOIUrl":"https://doi.org/10.1016/b978-1-4832-1313-2.50026-3","url":null,"abstract":"","PeriodicalId":108321,"journal":{"name":"International Conference on Data and Knowledge Bases","volume":"101 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":"127166867","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
Datalog Automata
International Conference on Data and Knowledge Bases Pub Date : 1900-01-01 DOI: 10.1016/b978-1-4832-1313-2.50036-6
B. Lang
{"title":"Datalog Automata","authors":"B. Lang","doi":"10.1016/b978-1-4832-1313-2.50036-6","DOIUrl":"https://doi.org/10.1016/b978-1-4832-1313-2.50036-6","url":null,"abstract":"","PeriodicalId":108321,"journal":{"name":"International Conference on Data and Knowledge Bases","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":"123622164","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}
引用次数: 16
Locally Balanced Compact Trie Hashing 局部平衡紧凑三哈希
International Conference on Data and Knowledge Bases Pub Date : 1900-01-01 DOI: 10.1016/b978-1-4832-1313-2.50025-1
E. Otoo
{"title":"Locally Balanced Compact Trie Hashing","authors":"E. Otoo","doi":"10.1016/b978-1-4832-1313-2.50025-1","DOIUrl":"https://doi.org/10.1016/b978-1-4832-1313-2.50025-1","url":null,"abstract":"","PeriodicalId":108321,"journal":{"name":"International Conference on Data and Knowledge Bases","volume":"4 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":"124877966","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信