XML is the standard format for data exchange between inter-enterprise applications on the Internet. To facilitate data exchange, industry groups define public document type that specify the format of the XML data to b...XML is the standard format for data exchange between inter-enterprise applications on the Internet. To facilitate data exchange, industry groups define public document type that specify the format of the XML data to be exchanged between their applications. In this paper, we propose a new method to solve the problem of automating the conversion of relational data into XML. During the conversion, we considers not only the structure of relational schemas, but also semantic constraints such as inclusion dependencies during the translation--it takes as input a relational schema where multiple tables are interconnected through inclusion dependencies and converts it into an X-Schema. Finally, in order to validate our proposal, we present experimental results using real schemas.展开更多
Java Beans is a standard for software components. For checkingthe consistency of the Java Beaus semantic constraints with its implementation,this paper proposes a formal Java Beaus Description Language (JBDL) to speci...Java Beans is a standard for software components. For checkingthe consistency of the Java Beaus semantic constraints with its implementation,this paper proposes a formal Java Beaus Description Language (JBDL) to specifycomponent semantic constraints. The JBDL logic is based on many sorted firstorder logic and Computation Tree Logic (CTL), with extension of some facilities inspecifying object oriented features. A framework for dynamic checking Java Beaussemantic constraines in JBDL form is described in this paper and some experimentalresults are showed by examples.展开更多
基金the Liaoning Province Education Department Funding Project (2008D028)
文摘XML is the standard format for data exchange between inter-enterprise applications on the Internet. To facilitate data exchange, industry groups define public document type that specify the format of the XML data to be exchanged between their applications. In this paper, we propose a new method to solve the problem of automating the conversion of relational data into XML. During the conversion, we considers not only the structure of relational schemas, but also semantic constraints such as inclusion dependencies during the translation--it takes as input a relational schema where multiple tables are interconnected through inclusion dependencies and converts it into an X-Schema. Finally, in order to validate our proposal, we present experimental results using real schemas.
文摘Java Beans is a standard for software components. For checkingthe consistency of the Java Beaus semantic constraints with its implementation,this paper proposes a formal Java Beaus Description Language (JBDL) to specifycomponent semantic constraints. The JBDL logic is based on many sorted firstorder logic and Computation Tree Logic (CTL), with extension of some facilities inspecifying object oriented features. A framework for dynamic checking Java Beaussemantic constraines in JBDL form is described in this paper and some experimentalresults are showed by examples.
