{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,7,31]]，“日期时间”：“2024-07-31T12:27:41Z”，“时间戳”：1722428861047}，“引用计数”：33，“发布者”：“计算机协会（ACM）”，“问题”：“3”，“内容域”：{-“域”：[“dl.ACM.org”]，“交叉标记限制”：true}，“short-container-title”：[“ACM事务数据库系统”]，“published-print”：{“日期部分”：[[1987,9]]}，“摘要”：“\n一阶逻辑作为数据库逻辑的使用已被证明足够强大，不仅可以形式化和实现关系型数据库，还可以实现层次型和网络型数据库。它使人们能够以统一的方式处理所有类型的数据库。本文主要研究异构数据库的数据库语言。该语言足够通用，可以为特定类型的数据库指定约束，因此数据库类型的规范可以被翻译成数据库语言中给出的规范，从而为用户可以定义的不同视图创建一个\u201c逻辑环境\u201d。由于任何数据库模式都被视为由有限句子集表示的一阶理论，Jacobs（“On database logic，”u201d）讨论的与数据库逻辑的完整性和紧凑性有关的问题J.ACM 29<\/jats:italic>\n，2（1982年4月），310-332）被避免。\n<\/jats:p>“，”DOI“：”10.1145\/27629.27630“，”type“：”期刊文章“，”created“：｛”日期部分“：[[2002,7,27]，”日期时间“：”2002-07-27T11:31:44Z“，”时间戳“：1027769504000｝，”page“：”325-349“，”update policy“：”http:\/\/dx.DOI.org/10.1145\/crosmark policy“，”source“：”Crossref“，”按计数引用“：20，”title“：[”按一阶逻辑数据库“]，“prefix”：“10.1145”，“volume”：“12”，“author”：[{“给定”：“Henryk”，“family”：“Rybi\u0144ski”，“sequence”：“first”，“affiliation”：[}“name”：“波兰华沙科学技术和经济信息研究所”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[1987,9]]}，“reference”：[[{”key“e_1_1_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/588011.588038”}，{“key”：“e_1_2_2_2”，“首页”：“2”，”卷“：“7”，“author”：“ACM DBMS”，“年份”：“1975”，“journal-title”：“SIGMOD FDT Bull.”}、{“密钥”：“e_1_2_ 1_3_2”，“卷标签”：“AMC”、“author:”ACM.“，”年份“：”1971“}”，{”key“：”e_2_1_4_2“，”首页“：“113”，“volume-title”：“第四届超大数据库国际会议论文集”，“author”：“BEERI C.”，“year”：“1978”}，{“key”：“e_1_1_5_2”，“首页”：“388”，“volume-title”：“the Proceedings of the Oth International Conference on Very Large Database”，“author”：“BREZIINSKI Z.”，“年份”：“1984”}1_2_1_7_2“，”doi-asserted-by“：”publisher“，”doi“：“10.1007 \/3-540-07854-1_159”}，{“key”：“e_1_2_1_8_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/567752.567762”}434.320440“}，{“key”：“e_1_2_1_11_2”，“首页”：“13”，“作者”：“CHURCH A.”，“年份”：“1944年”，“新闻标题”：“Ann.Math.Stud.”}，{“key”：“e_1_1_12_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/362384.362685”}e_1_2_1_14_2“，”doi-asserted-by“：”publisher“，”doi“：“10.1145\/321738.321747”}，{“key”：“e_1_2_1_15_2”，“首页”：“248”，“volume-title”：“第七届超大数据库国际会议论文集”，“author”：“GALLAIRE H.”，“year”：“1981”}by“：”publisher“，”doi“：“10.1016\/0306-4379（84）90025-5”}，{“key”：“e_1_1_18_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/828.832”}、{“密钥”：“e_1_2_1_19_2”、“非结构化”：“ltsM.information management system//virtual storage general information manual.Form GH20 IBM White Plains N.Y.1978。ltsM。信息管理系统\/虚拟存储通用信息手册。表格GH20 IBM White Plains N.Y.1978。“}，{”key“：”e_1_2_1_20_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/322307.32310“}”，{“key”：“e_1_i_1_21_2”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/3188989.318915”}，“{”密钥“：”e_1_1_222_222_“11“}，{”键“：”e_1_1_23_2“，”首页“：”107“，”卷标签“：”Eds“，”author“：”MTNKF R，J“，”year“：”1978“}，{”key“：”e_1_1_24_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1111\/J.1749-6632.1983.tb23315.x“}”，{“key”：“e_2_1_25_2”，“首页”：“3”，“author”：“MUNZ R.”，“year”：“1978”，“journal-title”：“Inf.Syst.”}，26_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/509252.509269“}，{“key”：“e_1_2_1_27_2”，“非结构化“：”PAWLAK Z.信息系统——理论基础inf:Syst.~~{lu~z）zu~-zl~.PAWLAK z.信息系统——理论基础inf:系统~~{lu~z）zu~-zl~。“}，{“key”：“e_1_1_28_2”，“首页”：“191”，“volume-title”：“波兰科学出版社”，“作者”：“RASZOWA H.”，《年份》：“1963”}，“key“：”e_2_1_29_2“，“非结构化”：“Modelling M.Brodie Ed.Springer-Verlag New York 1984。建模M.Brodie Ed.Springer-Verlag New York 1984。“}，{”key“：”e_1_1_30_2“，”first page“：“135”，”volume-title“：”Machine Intelligence“，”author“：”ROBINSON G.A.“，”year“：”1969“}”，{“key”：“e_2_1_31_2”，“volume-tit”：“No.63”，“author”：“RYBINSKI H.”，“year”：“1987”}，“key“”：”e_ 1_1_ 32_2“，“doi-asserted-by”：“”publisher“，”doi“：”10.1145\/319540.319561“}，{“key“：”e_1_2_1_33_2“，”首页“：”4“，”卷“：”70“，”作者“：”TRACHTENBROT B.A.“，”年份“：”1950“，”期刊标题“：”DokL Akad“。Nauk SSSR“}]，”container-title“：[”ACM Transactions on Database Systems“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/27629.27630“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，”deposed“：{”date-parts“：[2022,12,30]]，”date-ports时间“：”2022-12-30T20:18:04Z“，”timestamp“：1672431484000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/27629.27630”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1987,9]]}，‘references-count’：33，‘journal-issue’：{‘issue’：“3”，‘published-print’：parts“：[[1987,9]]}}，”alternative-id“：[”10.1145\/27629.27630“]，”URL“：”http://\/dx.doi.org\/10.1145\/27629.27630“，”relationship“：{}，”ISSN“：[”0362-5915“，”1557-4644“]，”ISSN-type“：[{”value“：”0362-5“，”type“:”print“}，{”value“：”1557-4604“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：[[1987,9]]}，“assertion”：[{“value”“：”1987-09-01“，”order“：2，”name“：”published“，”label“：”published“，”group“：{”name“:”publication_history“，”label“：”出版物历史“}}]}}