Method and apparatus for formally specifying...

Details Method and apparatus for formally specifying... Method and apparatus for formally specifying...

2003-06-25

2009-11-24

Jalil, Neveen Abel (Department: 2165)

Data processing: database and file management or data structures

Database design

Data structure types

Reexamination Certificate

active

07624108

ABSTRACT:
A system for specifying read/write consistency for an application including an application including at least one transaction, wherein the at least one transaction includes at least one of a plurality of states, at least one of a plurality of transitions, and at least one artifact; and a database operatively connected to the application, wherein the application accesses data associated with the at least one artifact using a read/write consistency specification; wherein the read/write consistency specification specifies at least one selected from the group consisting of a read consistency and a write consistency for the at least one artifact within the transaction.

REFERENCES:
patent: 5615362 (1997-03-01), Jensen et al.
patent: 5706506 (1998-01-01), Jensen et al.
patent: 6094600 (2000-07-01), Sharpe et al.

Affiliated with

Also associated with

Rating

Method and apparatus for formally specifying... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus for formally specifying..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for formally specifying... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4125993