{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,31]]，“日期时间”：“2022-03-31T13:28:30Z”，“时间戳”：1648733310300}，“出版商位置”：“柏林，海德堡”，“引用计数”：15，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540649502”，“类型”：打印“}，{”值“：“9783540680604”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1998]]}，”DOI“：”10.1007\/bfb0054543“，”type“：”book-chipter“，”created“：”{“date-part”：[2006,8,1]]，“date-time”：“2006-08-01T12:14:28Z”，“时间戳”：1154434468000}，“页面”：“881-891”，“源”：“Crossref”，“is-referenced-by-count”：2，“title”：[“Towards visual schemas in deductive databases”]，“prefix”：“10.1007”，”author“：[{”given“：”Jordi“，”family“：”Puigsegur“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Jaume“，”家族“：”Agust\u00ed“，”序列“：”additional“，”从属关系“：[]}，“given”：“Joan A.”，“family”：“Pastor”，“序列“：”附加“，“附属关系”：[]｝]，“成员”：“297”，“在线发布”：{“日期部分”：[[2006,5,26]]｝，“引用”：[{“键”：“81_CR1”，“doi断言”：“crossref”，“非结构化”：“J.Agust\u00ed，J.Puigsegur，and D.Robertson。逻辑和逻辑编程的视觉语法。视觉语言与计算杂志，1998年。出现。“，”DOI“：”10.1006\/jvlc.1998.0090“}，{“key”：“81_CR2”，“volume-title”：“用图表进行逻辑推理”，“year”：“1996”，“unstructured”：“G.Alwein和J.Barwise，编辑，《用图表进行逻辑学推理》，牛津大学出版社，纽约，1996年。”}，“key“：”81_CR3“，“unsructured“：”M.Borman，J.A.Bubenko，P.Johannenson，and B。旺勒。概念建模。普伦蒂斯·霍尔，1997.“}，{”key“：”81_CR4“，”unstructured“：”J.A.Bubenko.扩展信息建模的范围。第四届国际信息系统和数据库演绎方法研讨会，第73\u201398页，加泰罗尼亚洛雷特，1993年。“}”，{“key”：“81_CR5”，“doi-asserted-by”：“crossref”，“unstructure”：“T.Catarci and G.”。桑图奇。图表查询语言与文本查询语言：比较实验。Stefano Spaccapietra和Ramesh Jain，编辑，Proc。第三届IFIP 2.6可视化数据库系统工作会议，1995年。尼古拉斯。逻辑和数据库：演绎方法。ACM Computing Surveys，16（2）：153\u2013185，1984。“，”journal-title“：”ACM Computering Surveys“}，{“key”：“81_CR7”，“unstructured”：“IBM Business Systems Development Method Technical Description.Technical Report Tech.Reps.GE19-5387，SC19-53（09,10,12,13），International Business Machines Corporation，1992。”}，“key“：”81_CR8“，”doi-asserted-by“：”crossref“，”非结构化”：“J.W.Lloyd。逻辑编程基础，第2版。ed.Springer，1987年。“，“DOI”：“10.1007\/978-3-642-83189-8”}，{“key”：“81_CR9”，“unstructured”：“J.Puigsegur和J.Agusti.通过图变换实现可视化逻辑编程。APPIA-GULP-PRODE声明性编程联合会议，西班牙拉科鲁纳，1998年7月。”}、{“key”：”81_CR10“，”DOI-asserted-by“：”crossref“，”unstructure“：”J。Puigsegur、J.Agusti和D.Robertson。可视化逻辑编程语言。程序中。第十二届IEEE视觉语言研讨会，科罗拉多州博尔德，1996年9月。”，“DOI”：“10.1109\/VL.1996.545290”}，{“key”：“81_CR11”，“DOI-asserted-by”：“crossref”，“unstructured”：“J.Puigsegur，J.A.Pastor，and J。阿古斯蒂。定义和转换演绎数据库的可视化模式。研究报告LSI-98-31-R，加泰罗尼亚理工大学LSI系，1998年。”，“DOI”：“10.1007”，{“key”：“81_CR12”，“DOI-asserted-by”：“crossref”，“unstructured”：“J.Puigsegur，W.M.Schorlemmer，and J。阿古斯特。在可视化逻辑编程中从查询到回答。程序中。第13届IEEE视觉语言研讨会，意大利卡普里，1997年9月。”，“DOI”：“10.1109”，“VL.1997.626564”}，{“key”：“81_CR13”，“DOI-asserted-by”：“crossref”，”DOI“：“10.1515”，“9783110226225”，“volume-title”：“Charles S.Peirce的存在图”，“author”：“D.Roberts”，“year”：“1973”，“unstructured”：“D.D。罗伯茨。查尔斯·S·皮尔斯的存在图。Mouton and co.，The Hague，1973年。“}，{”key“：”81_CR14“，”unstructured“：”J.F.Sowa.概念结构.思维和机器中的信息处理。Addison-Wesley，1984年计算机科学课堂讲稿”，“数据库和专家系统应用程序”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BFb0054543”，“内容类型”：“未指定”，“content-version”：“vor”，“意向应用程序”：“相似性检查”}]，“存放”：{“日期部分”：[2021,7,30]]，“日期时间”：“2021-07-30T22:42:49Z”，“时间戳”：1627684969000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/BFb0054543”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[1998]]｝，“国际标准图书编号”：[“9783540649502”，“9783540680604”]，“引用次数”：15，“URL”：“http:\/\/dx.doi”。org\/10.1007\/BFb0054543“，”关系“：｛｝，”ISSN“：[”0302-9743”，“1611-3349”]，“issn type”：[｛“value”：“0302-9743”，“type”：“print”｝，｛“value”：“1611-3349”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[1998]]｝｝