Boots – shoes – and leggings
Patent
1993-08-18
1996-08-27
Black, Thomas G.
Boots, shoes, and leggings
3642804, 3642805, 3642821, 364DIG1, 395700, G06F 1730, G06F 945
Patent
active
055510299
ABSTRACT:
A technique is provided for the association of constraints with data object classes in an object-oriented database. Given a constraint comprising zero or more quantifiers followed by a quantifier-free boolean expression, a non-primitive reference expression is identified in the boolean expression. The constraint is then modified as follows. First, the primitive reference expression at the head of the identified non-primitive reference expression is replaced with a variable. Then a universal quantifier which quantifies the added variable over all data objects in the class comprising that primitive reference expression is added to the constraint. Finally, a disjunctive condition specifying that the added variable is not equal to the primitive reference expression is added to the boolean expression. The modified constraint may then be associated with the class comprising the aforesaid primitive reference expression. This modification may be performed repeatedly, for each of a number of non-primitive reference expressions. The boolean expression may comprise one or more function calls with implicit non-primitive references which may be identified. The modified constraint may then also be associated with classes based on these references. The modified constraint may be evaluated whenever an object in an associated class is updated. A modified constraint which has been associated with a given class may be further modified to improve evaluation efficiency.
REFERENCES:
patent: 4658370 (1987-04-01), Erman et al.
patent: 5014220 (1991-05-01), McMann et al.
patent: 5263126 (1993-11-01), Chang
patent: 5265206 (1993-11-01), Shackelford et al.
patent: 5295256 (1994-03-01), Bapat
patent: 5367675 (1994-11-01), Cheng et al.
"A Generalized Constraint & Exception Handler for an Object-Oriented CAD-DBMS", Buchmann et al, IEEE 1986.
"Constraint Specification on Object-Oriented Databases", A. M. Alashgur, et al.; IEEE Publication, 1992.
R. Agrawal et al., "Ode (Object Database and Environment): The Language and the Data Model," Proc. ACM SIGMOD 1989 Int'l Conf. Management of Data, Portland, Oregon, May-Jun. 1989, pp. 36-45.
P. Bernstein et al., "Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data," Proc. 6th Int'l conf. on Very Large Databases, 1980, pp. 126-136.
M. Casanova et al., "A Formal System for Reasoning About Progrms Accessing a Relational Database," ACM ACM Transactions on Programming Languages and Systems, 2(3), Jul. 1980, pp. 386-414.
M. Casanova et al., "Enforcing Inclusion Dependencies and Referential Integrity," Proc. 14th Int'l Conf. Very Large Data Bases, 1988, pp. 38-49.
S. Ceri et al., "Deriving Production Rules for Constraint Maintenance," Proc. 16th Int'l Conf. Very Large Data Bases, 1990, pp. 566-577.
D. Cohen, "Compiling Complex Database Transition Triggers," Proc. ACM-SIGMOD 1989 Int'l Conf. on Management of Data, 1989, pp. 225-234.
G. Gardarin et al., "Proving Consistency of Database Transaction," Proc. 5th Int'l Conf. Very Large Data Bases, 1979, pp. 291-298.
N. H. Gehani et al., "Ode as an Active Database: Constraints and Triggers," Proc. 17th Int'l Conf. Very Large Data Bases, Barcelona, Spain, 1991, pp. 327-336.
L. Henschen, et al., "Compiling Constraint-Checking Programs from First-Order Formulas," in Advances in Database Theory, vol. 2, H. Gallaire, J. Minker, and J-M. Nicolas (ed.), Plenum Press, 1984, pp. 145-169.
A. Hsu et al., "Integrity Checking for Multiple Updates," Proc. ACM-SIGMOD 1985 Int'l Conf. on Management of Data, 1985, pp. 152-168.
S. N. Khoshafian et al., "Object Identify," Proc. 1st Int'l Conf. Object-Oriented Programming Systems, Languages, and Applications, Portland, Oregon, Sep. 1986, pp. 406-416.
W. Kim, "Object-Oriented Databases: Definition and Research Directions," IEEE Transactions on Knowledge and Data Engineering, Jun. 1990, pp. 327-341.
S. Koenig et al., "A Tranformaional Framework for the Automatic Control of Derived Data," Proc. 7th Int'l Conf. on Very Large Data Bases, 1981, pp. 306-318.
J-M. Nicolas, "Logic for Improving Integrity Checking in Relational Data Bases," Acta Informatica, 18, 1982, pp. 227-253.
R. Paige, "Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization," in Advances in Database Theory, vol. 2, H. Gallaire, J. Minker, and J-M. Nicolas (ed.) Plenum Press, 1984, pp. 171-209.
X. Qian et al, "Integrity Constraint Reformulation for Efficient Validation," Proc. 13th Int'l Conf. Very Large Data Bases, 1987, pp. 417-425.
X. Qian, "An Effective Method for Integrity Constraint Simplification," Proc. IEEE 4th Int'l Conf. Data Engineering, 1988, pp. 338-345.
T. Sheard et al., "Automatic Verification of Database Transaction Safety," ACM ACM Transaction on Database Systems, 14(3), Sep., 1989, pp. 322-368.
D. Stemple et al., "On the Modes and Meaning of Feedback to Transaction Designers," Proc. ACM-SIGMOD 1987 Int'l Conf. on Management of Data, 1987, pp. 374-386.
M. R. Stonebraker, "Implementation of Integrity Constraints and Views by Query Modification," Proc. ACM-SIGMOD 1975 Int'l Conf. on Management Data, 1975, pp. 67-77.
G. Wiederhold, "Views, Objects, and Databases," IEEE Computer, 19(12), Dec. 1986, pp. 37-44.
Jagadish Hosagrahar V.
Qian Xiaolei
Alam Hosain T.
Black Thomas G.
Brown Kenneth M.
Lucent Technologies - Inc.
LandOfFree
Method for associating integrity maintenance constraints with da 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 for associating integrity maintenance constraints with da, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for associating integrity maintenance constraints with da will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1063609