HOLMES: A deduction augmented database management system

摘要

HOLMES is a database system based on object-relationship concept. The idea of a generalized schema is introduced. A uniform language, based on first order predicate calculus, intended to express both formulas of a generalized schema and users' queries is presented. This high level database language enables one to define a database application as a “theory” expressed by a set of formulas. Possibilities of the presented approach are discussed. Implementation problems are sketched.