Performance comparison of database concurrency control mechanisms based on two-phase locking, timestamping and mixed approach
A knowledge-based system for performance optimization of a relational database system
Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k satisfiability problem
Metrically independent sets in the digital plane