A new dynamic voting algorithm for distributed database systems
Reasoning about equations and functional dependencies on complex objects
Intensional answers to database queries
An expectation-driven response understanding paradigm
Partial indexing for nonuniform data distributions in relational DBMS's
An algebraic theory of object-oriented systems
A conceptual clustering algorithm for database schema design
High-level Petri net model of logic program with negation
Global optimization for satisfiability (SAT) problem
Heterogeneous transformation of uncertainties of propositions among inexact reasoning models
Estimating block accesses in database organizations
A combined method for maintaining large indices in multiprocessor multidisk environments