Library
. Memory Subsystems for Microcomputers. In Memory Subsystems for Microcomputers. 1980.
. An Adaptive Concurrency Control Strategy for Distributed Database Systems. In An Adaptive Concurrency Control Strategy for Distributed Database Systems. 1984.
. An Analysis of the Effect of Network Load and Topology on the Performance of Concurrency Control Algorithms in Distributed Database Systems. In Computer Networking Symposium, Gaithersburg, MD. Gaithersburg, MD, USA; 1984. 
(570.87 KB)
(570.87 KB). An Analysis of the Effect of Network Parameters on the Performance of Distributed Database Systems. 1985 ;.
. A Partially Distributed Deadlock Algorithm. 1985 ;.
. Deadlock Detection Algorithms in Distributed Database Systems. In Deadlock Detection Algorithms in Distributed Database Systems. 1986.
. An Efficient Parallel Algorithm for Term Matching. In An Efficient Parallel Algorithm for Term Matching. 1986.
. Integrating Locking and Optimistic Concurrency Control in Distributed Database Systems. In 6th IEEE International Conference on Distributed Database Systems. Cambridge, MA, USA; 1986.
. Localizable Constraints for Object Histories. In 1986.
. Performance Analysis of Resilience Mechanisms in Distributed Database Systems. In Performance Analysis of Resilience Mechanisms in Distributed Database Systems. 1987.
. Term Matching on Parallel Computers. In 14th International Colloquium on Automata, Languages and Programming ICALP87. Karlsruhe, Germany; 1987.
. On the Computability of Circumscription. 1988 ;.
. Tailor, A Tool for Updating Views. In Tailor, A Tool for Updating Views. 1988. (1.35 MB)
(1.35 MB). A Tool for Integrating Conceptual Schemas and User Views. In A Tool for Integrating Conceptual Schemas and User Views. 1988. (558.11 KB)
(558.11 KB). Attribute Relationships: An Impediment in Automating Schema Integration. In NSF Workshop on Heterogeneous Databases; 1989. (0 bytes)
(0 bytes). On the Declarative Semantics of Inheritance Networks. In On the Declarative Semantics of Inheritance Networks. 1989.
. On distributed processibility of datalog queries by decomposing databases. In On distributed processibility of datalog queries by decomposing databases. 1989.
. An Evidence-based Framework for a Theory of Inheritance. In An Evidence-based Framework for a Theory of Inheritance. 1989.
. Fault Tolerance in a Very Large Database System: A Strawman Analysis. In Fault Tolerance in a Very Large Database System: A Strawman Analysis. 1989. (790.3 KB)
(790.3 KB). Term Matching on Parallel Computers. 1989 ;.
. Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys. 1990 ;:183-236. (4.74 MB)
(4.74 MB). Inference of cyclicity and acyclicity constraints among recursively typed objects with identifiers. In Far-East Workshop on Future Database Systems; 1990.
. Management of Interdependent Data: Specifying Dependency and Consistency Requirements. In Workshop on the Management of Replicated Data, Houston, TX,; 1990. (224.84 KB)
(224.84 KB). An Analysis of Property-Flow View vs Individual-Flow View of Inheritance. In An Analysis of Property-Flow View vs Individual-Flow View of Inheritance. 1991.
. On Applying Classification to Schema Integration. In On Applying Classification to Schema Integration. 1991. 
(0 bytes)
(0 bytes). The Architecture of BRAID: A System for Bridging Al/DB Systems. In The Architecture of BRAID: A System for Bridging Al/DB Systems. 1991. (1.1 MB)
(1.1 MB). On Datalog Linearisation of Chain Queries. 1991 ;.
. An Executor for Multidatabase Transactions which Achieves Maximal Parallelism. 1st International Workshop on Interoperability in Multidatabase Systems (IMS 1991). Kyoto, Japan: IEEE; 1991. p. 288 - 291. (329.28 KB)
(329.28 KB). Localizable constraints for object histories. 1991 ;.
. Object behaviors and scripts. In 3rd Internat'l Workshop on Database Programming Languages; 1991.
. On the Relationship between Abductive Reasoning and Boolean Minimization. In AAAI 91; 1991. (167.56 KB)
(167.56 KB). On the Relationship between Parsimonious Covering and Boolean Minimization. In National Aerospace and Electronics Conference (NAECON). Dayton Convention Center; 1991. (399.38 KB)
(399.38 KB). On Serializability of Multidatabase Transactions through Forced Local Conflict. In On Serializability of Multidatabase Transactions through Forced Local Conflict. 1991. (191.13 KB)
(191.13 KB). Specifying Interdatabase Dependencies in a Multidatabase Environment. IEEE Computer. 1991 ;:46-53. (739.29 KB)
(739.29 KB). Updating Relational Views Using Knowledge at View Definition and View Update Time. Information Systems: An International Journal. 1991 ;. (2.32 MB)
(2.32 MB). Abduction in Annotated Logic Programming, In: Proceedings of IEEE. In IEEE International Conference on Systems, Man, and Cybernetics. Chicago, IL, USA ; 1992. p. 682-687. (539.29 KB)
(539.29 KB). Algorithms for Structural Schema Integration. In Algorithms for Structural Schema Integration. 1992. (847.85 KB)
(847.85 KB). A Case Study of Structural Integration. In 1st International Conference on Information and Knowledge Systems. Baltimore, MD; 1992. (1.7 MB)
(1.7 MB). Executing Multidatabase Transactions. In Executing Multidatabase Transactions. 1992. (796.96 KB)
(796.96 KB). Incremental evaluation of datalog queries. 1992 ;.
. Representation and translation of queries in heterogeneous databases with semantic discrepancie. 1992 ;.
. Structural Schema Integration with Full and Partial Correspondence using Dual Model. Information Systems: An International Journal. 1992 ;:443-469. (2.11 MB)
(2.11 MB). Using Flexible Transactions to Support Multisystem Telecommunication Applications. In Using Flexible Transactions to Support Multisystem Telecommunication Applications. 1992. (796.96 KB)
(796.96 KB). Using Polytransactions to Manage Interdependent Data. In 1992. (233.11 KB)
(233.11 KB)