Verifying dynamically generated operations on a data store

Details Verifying dynamically generated operations on a data store Verifying dynamically generated operations on a data store

2004-08-31

2008-11-25

Vo, Tim (Department: 2168)

Data processing: database and file management or data structures

Database design

Data structure types

C717S126000, C717S127000, C717S130000, C725S022000, C705S075000

Reexamination Certificate

active

07457832

ABSTRACT:
Verifying dynamically generated operations on a data store includes carrying out setup actions for access to the data store, the setup actions being based at least in part on a request for which the dynamically generated operations will be generated. The carrying out of setup actions includes permissions being set for portions of the data store to establish a restricted portion of the data store and an unrestricted portion of the data store, as well as using one or more additional techniques to check whether any unexpected changes were made to the unrestricted portion or to lock access to parts of the unrestricted portion. After the dynamically generated operations are performed, a verification is made that no unexpected work was performed by the dynamically generated operations. If unexpected work was performed then the operations are determined to be not correct for the request.

REFERENCES:
patent: 5193180 (1993-03-01), Hastings
patent: 5305448 (1994-04-01), Insalaco et al.
patent: 5335344 (1994-08-01), Hastings
patent: 5349655 (1994-09-01), Mann
patent: 5404499 (1995-04-01), Nichols
patent: 5440723 (1995-08-01), Arnold et al.
patent: 5440735 (1995-08-01), Goldring
patent: 5535329 (1996-07-01), Hastings
patent: 5537540 (1996-07-01), Miller et al.
patent: 5668999 (1997-09-01), Gosling
patent: 5717911 (1998-02-01), Madrid et al.
patent: 5812828 (1998-09-01), Kaufer et al.
patent: 5907709 (1999-05-01), Cantey et al.
patent: 5930795 (1999-07-01), Chen et al.
patent: 5987557 (1999-11-01), Ebrahim
patent: 6560774 (2003-05-01), Gordon et al.
patent: 6693912 (2004-02-01), Wang
patent: 6721941 (2004-04-01), Morshed et al.
patent: 6725240 (2004-04-01), Asad et al.
patent: 6760903 (2004-07-01), Morshed et al.
patent: 6981245 (2005-12-01), Schwabe
patent: 7111307 (2006-09-01), Wang
patent: 7127607 (2006-10-01), Su et al.
patent: 7194475 (2007-03-01), DelMonaco et al.
patent: 7237076 (2007-06-01), Nakano et al.
patent: 7249133 (2007-07-01), Lou et al.
patent: 7257587 (2007-08-01), Fitzpatrick et al.
patent: 2003/0023609 (2003-01-01), Della-Libera et al.
patent: 2003/0188184 (2003-10-01), Strongin et al.
patent: 2004/0068489 (2004-04-01), Dettinger et al.
patent: 2004/0111613 (2004-06-01), Shen-Orr et al.
patent: 2004/0217985 (2004-11-01), Ries et al.
patent: 2004/0220932 (2004-11-01), Seeger et al.
patent: 2004/0225459 (2004-11-01), Krishnaswamy et al.
patent: 2005/0050046 (2005-03-01), Puz et al.
patent: 2005/0131870 (2005-06-01), Krishnaswamy et al.
patent: 2006/0206507 (2006-09-01), Dahbour
patent: 0550368 (1993-07-01), None
patent: WO02065285 (2002-08-01), None
Tuovinen et al., “Translating SQL for Database Reengineering”, Feb. 1996 ACM Sigplan Notice, vol. 31, No. 2, p. 21-26.
Bennett et al., “Check on Access Via Hierarchical Block Validation”, IBM TDB, Dec. 1984, IP.com, p. 1-3.
Rosenberg, “How Debuggers Work: Algorithms, Data Structures, and Architecture”, Sep. 27, 1996, Wiley Computer Publishing, p. 7, 23-27, 30-32, 44, 45, 47, 48, 60, 74, 103, 110-111, 116-117, 120, 130, 136, 142, 148, 154, 155, 164, 177, 178, 179, 191-193, 200-202, 229-232, 242.
Rational Software Corp., “Purify User's Guide”, Apr. 5, 1999, Rational Software, p. xi-xiii, 2-12, 2-13, 2-14, 2-15, 3-2, 3-8, 3-11, 335-338.
Maloy, Paradox for Windows Quick Reference, Dec. 1993, Que Corporation, 4th Printing, p. ii-iii, v, 6-8,24-27, 32-33,34-35, 36-37, 54-61, 116-119, 122-125, 148-149.
Gupta et al., Validating and Verifying Knowledge-based Systems, Dec. 1991, IEEE Press, p. 105-117.
Necula, “Proof-Carrying Code”, POPL'97, 1997, ACM Press, p. 106-119.
Microsoft, “Using Driver Verifier to Expose Driver Errors”, Mar. 17, 1999, <Retrieved from www.microsoft.com/hwdev/driver/driververify.htm>, p. 1-8.
“SQL Test Suite Goes Online”, Sullivan, J., IEEE Computer Society, Computer, vol. 30, No. 6, Jun. 1997, pp. 103 and 105.
“Testability analysis utilizing a relational database”, Fenton, W.H., IEEE, 1996, pp. 149-155.
“A New Language for Automatic Data Generation”, Szabo et al., Proceedings of Third International Conference of the ACPC Parallel Databases and Parallel I/O, Sep. 23-25, 1996, pp. 221-222.
“Efficient database updates with independent schemes”, Torlone et al., SIAM Journal on Computing, vol. 28, No. 3, Mar. 19, 1999, pp. 1112-1135.
“Verification, validation, and integrity issues in expert and database systems: two perspectives”, Coenen et al., International Journal of Intelligent Systems, vol. 16, No. 3, Mar. 2001, pp. 425-447.
Camegie Mellon University: “Selecting audit events for Windows NT 4.0 registry Keys” Cert: Mar. 17, 1999 XP002185674 “the whole document”.
Gavrila Martau: “Total Uninstall 2.30” Online! Dec. 25, 2003, pp. 1-1, XP002357115 Retrived from the Internet: URL http://web.archive.org/web/20031225091432/http://www.soft32.com/download—102.htm1>'retrived on Dec. 1, 2005. The whole document.
Hector et al. “Database System Implementation” 200, Prentice hall, USA, XP002357126 ISBN: 0-13-040264-8 Chapters 8 and 9 p. 423-540.
Ruiz et al; “A strategy for testing metaobject protocols in reflective architecture” Jul. 1, 2001, Proceedings International confernce on dependable systems an networks. DSN 2001. G Teborg. Sweden, Jul. 1-4, 2001, International confernce on dependable systems and networks, Los Alamitos, CA: XP001042422 ISBN: 0-7695-1101-5 p. 328, left-hand column, line 12-line 14 p. 328, left-hand column, line 37-right hand column, line 22, p. 331, left-hand column, paragraph 3.3.

Affiliated with

Also associated with

Rating

Verifying dynamically generated operations on a data store does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Verifying dynamically generated operations on a data store, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verifying dynamically generated operations on a data store will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4039638