Data schemata in programming language contracts

Details Data schemata in programming language contracts Data schemata in programming language contracts

2011-04-26

2011-04-26

Dao, Thuy (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S114000, C717S137000, C707S756000

Reexamination Certificate

active

07934207

ABSTRACT:
Systems and methods that integrate data type conversion(s) into a programming language, and describe external formats within a syntax thereof. A mapping component defines a declarative mapping from an external data format to one or more of its internal data types (e.g., expressing external data types in terms of source languages.) Moreover, a rule establishing component can define value-based rules, such as invariants to the external data format, wherein the schema declaration further defines data fields that make up the schema. Accordingly, by expressing rules in form of predicate logic (instead of imperative program logic) the subject innovation increase a likelihood that compilers can reason about the data.

REFERENCES:
patent: 5966531 (1999-10-01), Skeen et al.
patent: 6195677 (2001-02-01), Utsumi
patent: 6665701 (2003-12-01), Combs et al.
patent: 6940870 (2005-09-01), Hamlin
patent: 6971096 (2005-11-01), Ankireddipally et al.
patent: 6990513 (2006-01-01), Belfiore et al.
patent: 7093231 (2006-08-01), Nuss
patent: 7120703 (2006-10-01), Li et al.
patent: 7694284 (2010-04-01), Berg et al.
patent: 7739223 (2010-06-01), Vaschillo et al.
patent: 7756882 (2010-07-01), Aharoni et al.
patent: 7805713 (2010-09-01), Patel
patent: 2002/0100027 (2002-07-01), Binding et al.
patent: 2003/0140308 (2003-07-01), Murthy et al.
patent: 2004/0073913 (2004-04-01), Fairweather
patent: 2004/0083465 (2004-04-01), Zhang et al.
patent: 2004/0111698 (2004-06-01), Soong et al.
patent: 2004/0205562 (2004-10-01), Rozek et al.
“Automating XML documents transformations: a conceptual modelling based approach”, Boukottaya et al., Jan. 2004, pp. 81-90, <http://delivery.acm.org/10.1145/980000/976307/p81-boukottaya.pdf>.
“A comprehensive solution to the XML-to-relational mapping problem”, Amer-Yahia et al., Nov. 2004, pp. 31-38, <http://delivery.acm.org/10.1145/1040000/1031461/p31-amer-yahia.pdf>.
“Statistical schema matching across web query interfaces”, He et al., Jun. 2003, pp. 217-228, <http://delivery.acm.org/10.1145/880000/872784/p217-he.pdf>.
Adhikari, et al.; D-Stampede: Distributed Programming System for Ubiquitous Computing; Jul. 2002; 8 pages.
Commins, M.; JXTA, In support of the Migration of Users Across Smart Spaces; Sep. 2002; 100 pages.
Chiang, C.; High-Level Heterogeneous Distributed Parallel Programming; 2004, 6 pages.
Karimi, K. et al.,; Transparent Distributed Programming under Linux; May 14-17, 2006, 7 pages.

Affiliated with

Also associated with

Rating

Data schemata in programming language contracts does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Data schemata in programming language contracts, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Data schemata in programming language contracts will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2668003