A controllable Prolog database system

N. Minsky, D. Rozenshtein, J. Chomicki

Research output: Contribution to journalConference articlepeer-review


This paper presents a model that provides a single comprehensive mechanism to control the use, operation and evolution of database systems. This model unifies several concepts generally considered to be quite distinct. In particular, it minimizes the formal distinction between the users of the database, the programs embedded in it and even the administrators and the programmers maintaining it. Furthermore, under this model, the concepts of subschema and of program module are replaced with a single concept of frame, which serves as the locus of power and of activity in the system. Moreover, the proposed control mechanism is closed, in the sense that the process of establishing controls is itself controllable by the same mechanism. This can be used to formalize and control managerial policies about the use and evolution of database systems.

Original languageEnglish (US)
Article number7266269
Pages (from-to)618-628
Number of pages11
JournalProceedings - International Conference on Data Engineering
StatePublished - 1986
Event2nd IEEE International Conference on Data Engineering, COMPDEC 1986 - Los Angeles, United States
Duration: Feb 5 1986Feb 7 1986

All Science Journal Classification (ASJC) codes

  • Software
  • Signal Processing
  • Information Systems

Cite this