Verification Theories for XML Schema

机译：XML模式的验证理论

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

XML Schema types and structures are represented as theories of a verification system, PVS, for proving properties related to XML schemas. Type derivations by restriction and extension as defined in XML Schema are represented in the PVS type system using predicate subtyping. Availability of parametric polymorphism in PVS makes it possible to represent XML sequences and sets via PVS theories. Transaction verification methodology is based on declarative, logic-based specification of frame constraints and the actual transaction updates. XML applications, including constraints typical for XML schemas, such as keys and referential integrity, have been verified.

机译：XML模式类型和结构表示为验证系统PVS的理论，用于证明与XML模式有关的属性。 XML Schema中定义的通过限制和扩展进行的类型派生在PVS类型系统中使用谓词子类型表示。 PVS中参数多态性的可用性使得可以通过PVS理论来表示XML序列和集合。交易验证方法基于框架约束的声明式，基于逻辑的规范和实际交易更新。 XML应用程序（包括XML模式典型的约束，例如键和引用完整性）已得到验证。

著录项

来源
《British National Conference on Databases(BNCOD 23); 20060718-23; Belfast(GB)》|2006年|P.262-265|共4页
会议地点 Belfast(GB)
作者
Suad Alagic; Mark Royer; David Briggs;
展开▼
作者单位

Department of Computer Science University of Southern Maine Portland, ME 04104-9300;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类 TP311.13;
关键词

相似文献

外文文献
中文文献
专利

1. Synthesis and characterization of nanosized Cesub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oasis="http://docs.oasis-open.orgs/oasis-exchange/table"1-x/subbisub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oasis="http://docs.oasis-open.orgs/oasis-exchange/table"x/subosub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oasis="http://docs.oasis-open.orgs/oasis-exchange/table"2-δ/sub solid solutions for catalytic applications [J] . L. Bourja, B. Bakiz, A. Benlhachemi, Journal of Taibah University for Science . 2010,第1期

机译：纳米Ce _{1-x bi _{x o _{2-δ用于催化应用的固体溶液}}}
2. Identification of differentially expressed photosynthesis- and sugar synthesis-related genes in tomato ( Solanum lycopersicum ) plants grown under different COsub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:oasis="http://www.niso.org/standards/z39-96/ns/oasis-exchange/table" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ali="http://www.niso.org/schemas/ali/1.0/"2/sub concentrations [J] . Shaowen Zheng, Zhifeng Chen, Hongmei Nie, Biotechnology & Biotechnological Equipment . 2020,第1期

机译：在不同CO _{2 浓度}
3. [12]aneNsub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:oasis="http://www.niso.org/standards/z39-96/ns/oasis-exchange/table" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ali="http://www.niso.org/schemas/ali/1.0/"3/sub-based multifunctional compounds as fluorescent probes and nucleic acids delivering agents [J] . Yong-Guang Gao, Shu-Yuan Huangfu, Suryaji Patil, Drug delivery. . 2020,第1期

机译：[12] Anen _{3 /亚>基于荧光探针和核酸递送剂的多官能化合物}
4. Verification Theories for XML Schema [C] . Suad Alagic, Mark Royer, David Briggs British National Conference on Databases(BNCOD 23) . 2006

机译：XML Schema的验证理论
5. A framework of inlining algorithms for mapping XML document type definitions to relational schemas. [D] . Alakappan, Sreenivasan. 2004

机译：内联算法的框架，用于将XML文档类型定义映射到关系模式。
6. XML schemas and mark-up practices of taxonomic literature [O] . Lyubomir Penev, Christopher HC Lyal, Anna Weitzman, 2011

机译：分类文献的XML模式和标记实践
7. Predictions for orientifold field theories from type <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:msup><mml:mn>0</mml:mn><mml:mo>′</mml:mo></mml:msup></mml:math> string theory [O] . Armoni, Adi 2005

机译：类型为＆lt; mml：math altimg =“si1.gif”overflow =“scroll”xmlns：xocs =“http://www.elsevier.com/xml/xocs/dtd”xmlns：xs =“的orientifold字段理论的预测http://www.w3.org/2001/XmLschema“xmlns：xsi =”http://www.w3.org/2001/XmLschema-instance“xmlns =”http://www.elsevier.com/xml/ ja / dtd“xmlns：ja =”http://www.elsevier.com/xml/ja/dtd“xmlns：mml =”http://www.w3.org/1998/math/mathmL“xmlns：tb = “http://www.elsevier.com/xml/common/table/dtd”xmlns：sb =“http://www.elsevier.com/xml/common/struct-bib/dtd”xmlns：ce =“http ：//www.elsevier.com/xml/common/dtd“xmlns：xlink =”http://www.w3.org/1999/xlink“xmlns：cals =”http://www.elsevier.com/xml /普通/ CaLs / DTD“＆GT;＆LT; mmL：msUp＆GT;＆LT; mmL：mN大于0＆LT; / mmL：mN＆GT;＆LT; mmL：mO＆GT;'＆LT; / mmL：mO＆GT;＆LT; / mmL：msUp＆GT;＆LT ; / mmL：数学＆GT;弦理论
8. TransXML: XML Schemas for Exchange of Transportation Data [R] . Ziering, E. 2007

机译：TransXmL：交通运输数据交换的XmL模式

Verification Theories for XML Schema

摘要

著录项

相似文献

相关主题

期刊订阅