×
蒂亚戈·L·阿尔维斯。;保罗·F·席尔瓦。;Joost Visser公司

约束感知模式转换。 （英语） Zbl 1291.68213号

Kniesel，Günter（编辑）等人，第九届基于规则的编程国际研讨会（规则2008），奥地利哈根堡哈根堡，2008年7月14日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记290，3-18（2012）。
概要：数据模式转换发生在软件演化、重构和跨范式数据映射的上下文中。当初始模式上存在约束时，需要将这些约束转换为目标模式上的约束。此外，当高级数据类型被细化为低级结构时，必须引入额外的目标模式约束，以平衡结构的损失并保留语义。{}我们引入了一种用于模式转换的代数方法，该方法具有约束意识，即从源模式到目标模式保留约束，并在需要时引入新的约束。我们的方法基于精化理论和无点程序转换。数据优化被建模为对带有无点谓词作为约束的类型的重写规则。在每个重写步骤中，reduction上的谓词都是从redex上的谓语计算出来的。无点函数上的另一个重写系统用于规范化沿重写链构建的谓词。{}我们用函数编程语言Haskell以类型安全的方式实现了重写系统。我们演示了它们在约束感知层次关系映射中的应用。
关于整个系列，请参见[Zbl 1284.68018号].

引用于1文件

MSC公司：

2012年第68季度 语法和重写系统
68甲18 函数编程和lambda演算
68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

模式转换;约束;不变性;数据细化;战略改写;无点程序转换;哈斯克尔

软件：

哈斯克尔;XPath（XPath）
PDF格式BibTeX公司 XML格式引用
\textit{T.L.Alves}等人，《电子》。注释Theor。计算。科学。290，3--18（2012；Zbl 1291.68213）
全文： 内政部

参考文献：

[1] 阿尔维斯，T。；席尔瓦，P。；维瑟，J。；Oliveira，J.，战略术语重写及其在VDM-SL到SQL转换中的应用，（Fitzgerald，J.；Hayes，I.；Tarlecki，a.，Formal Methods.Formal Methods，LNCS，3582（2005）），399-414·Zbl 1120.68399号
[2] S.Amer-Yahia，F.Du，J.Freire，《XML到关系映射问题的综合解决方案》，载于：WIDM？04:Proc。2004年第六届ACM网络信息和数据管理国际研讨会，第31-38页。；S.Amer-Yahia，F.Du，J.Freire，《XML到关系映射问题的综合解决方案》，载于：WIDM？04:Proc。2004年第六届ACM网络信息和数据管理国际研讨会，第31-38页。
[3] 巴克斯，J.，编程能从冯·诺依曼风格中解放出来吗？一种函数风格及其程序代数，Commun。ACM，21，613-641（1978）·Zbl 0383.68013号
[4] D.Barbosa，et al.，Designing information preserving mapping schemes for XML，in：VLDB？05:Int.Conf.Very Large Data Bases，2005，第109-120页。；D.Barbosa等人，《为XML设计信息保存映射方案》，载：VLDB’05:Int.Conf.Very Large Data Bases，2005，第109-120页。
[5] 伯达盖尔，P。；库尼亚，A。；帕切科，H。；Visser，J.，《XML和SQL的耦合模式转换和数据转换》，（Hanus，M.，《声明式编程实用方面的程序》（PADL’07）。程序。《声明式编程的实践方面》（PADL洗07），LNCS，4354（2007）），290-304
[6] P.Bohannon等人，《从XML模式到关系：基于成本的XML存储方法》，收录于：ICDE’02:Proc。第18届国际数据工程会议，2002年，第64页。；P.Bohannon等人，《从XML模式到关系：基于成本的XML存储方法》，收录于：ICDE’02:Proc。第18届国际数据工程会议，2002年，第64页。
[7] P.Bohannon等人，LegoDB:为XML文档定制关系存储，in：Proc。第28届超大数据库国际会议，2002年，第1091-1094页。；P.Bohannon等人，LegoDB:为XML文档定制关系存储，in：Proc。第28届超大数据库国际会议，2002年，第1091-1094页。
[8] Y.Chen等，约束保存从XML到关系的模式映射，in：Proc。第五届网络与数据库国际研讨会（WebDB），2002年，第7-12页。；Y.Chen等人，从XML到关系的保留约束的模式映射，在：Proc。第五届网络与数据库国际研讨会（WebDB），2002年，第7-12页。
[9] 库尼亚，A。；奥利维拉，J。；Visser，J.，类型安全两级数据转换，（Misra，J.等，《程序形式方法》，第14届国际会议欧洲形式方法，程序形式方法，第14期国际会议欧洲正式方法，LNCS，4085（2006）），284-299
[10] 库尼亚，A。；Pinto，J.S.，无点程序转换，Fundam。通知。，66, 315-352 (2005) ·Zbl 1098.68024号
[11] 库尼亚，A。；Visser，J.，耦合软件转换的强类型重写，Proc。第七届基于规则的编程国际研讨会（Rule 2006）。程序。第七届基于规则的编程国际研讨会（2006年规则），ENTCS，174，17-34（2007年）·Zbl 1277.68042号
[12] A.Cunha，J.Visser，《结构化程序的转换：应用于XPath查询和战略功能》，载于：G.Ramalingam，E.Visser（编辑），PEPM，2007年，第11-20页。；A.Cunha，J.Visser，《结构化程序的转换：应用于XPath查询和战略功能》，载于：G.Ramalingam，E.Visser（编辑），PEPM，2007年，第11-20页。
[13] S.Davidson等人，将XML约束传播到关系，in：Proc。第19届国际数据工程会议，2003年，第543页。；S.Davidson等人，将XML约束传播到关系，in：Proc。第19届国际数据工程会议，2003年，第543页·Zbl 1115.68055号
[14] 拉梅尔，R。；Meijer，E.，Mappings make data processing go’round，（Lämmel，R.；Saraiva，J.；Visser，J.，《软件工程中的生成和转换技术》，软件工程的生成和转化技术，LNCS，第4143卷（2006））
[15] Lee，D。；Chu，W.W.，Cpi：用于将xml dtd映射到关系模式的约束保留内联算法，Data Knowl。工程，39，3-25（2001）·Zbl 0984.68047号
[16] 摩根，C。；Gardiner，P.，《通过计算进行数据精炼》，《信息学报》，第27期，第481-503页（1990年）·Zbl 0699.68029号
[17] C.Necco，J.Oliveira，J.Visser，通过策略重写无点关系表达式扩展静态检查草案，2007年2月3日。；C.Necco，J.Oliveira，J.Visser，通过策略重写无点关系表达式扩展静态检查，2007年2月3日草案。
[18] Oliveira，J.，面向模型软件规范的物化演算，计算的形式方面，2，1-23（1990）·Zbl 0697.68029号
[19] Oliveira，J.，“分形”类型：广义散列表计算的尝试，摘自：泛型编程研讨会（WGP？98），瑞典马斯特朗，1998年。；Oliveira，J.，“分形”类型：广义散列表计算的尝试，收录于：泛型编程研讨会（WGP？98），瑞典马斯特朗，1998年。
[20] J.Oliveira，《通过计算进行数据转换》，收录于：R.Lämmel等人（编辑），《软件工程中的生成和转换技术》，LNCS，2008年出版。；J.Oliveira，《通过计算进行数据转换》，收录于：R.Lämmel等人（编辑），《软件工程中的生成和转换技术》，LNCS，2008年出版。
[21] S.Peyton Jones，G.Washburn，S.Weirich，《摇摆类型：广义代数数据类型的类型推断》，技术报告MS-CIS-05-26，宾夕法尼亚大学，2004年。；S.Peyton Jones，G.Washburn，S.Weirich，《摇摆类型：广义代数数据类型的类型推断》，技术报告MS-CIS-05-26，宾夕法尼亚大学，2004年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。