Capture, integration, and analysis of digital system requirements with conceptual graphs
Rule-based system validation through automatic identification of equivalence classes
Semantics, consistency, and query processing of empirical deductive databases
The role of polymorphic reuse mechanisms in schema evolution in an object-oriented database
Indexing for multiversion locking: alternatives and performance evaluation
An extended authorization model for relational databases
CCAM: a connectivity-clustered access method for networks and network computations
The expressive power of temporal relational query languages
Object-based semantic real-time concurrency control with bounded imprecision
Optimal bucket allocation design of k-ary MKH files for partial match retrieval
Toward the notion of a knowledge repository for financial risk management
Learning to predict: INC2.5
Ordering and selecting production rules for constraint maintenance: complexity and heuristic solution
Alternating hashing for expansible files
Database management with sequence trees and tokens