The LOGRES prototype

Authors:
F. Cacace;S. Ceri;S. Crespi-Reghizzi;P. Fraternali;S. Paraboschi;L. Tanca
Affiliations:
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. Da Vinci, 32 20133 Milano, Italy;Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. Da Vinci, 32 20133 Milano, Italy;Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. Da Vinci, 32 20133 Milano, Italy;Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. Da Vinci, 32 20133 Milano, Italy;Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. Da Vinci, 32 20133 Milano, Italy;Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. Da Vinci, 32 20133 Milano, Italy
Venue:
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Year:
1993

Citing 4
Cited 0

Integrating object-oriented data modelling with a rule-based programming paradigm

SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Consistency and non-determinism in a database programming language

MFDBS 91 Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems
Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment

IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Algres: An Advanced Database System for Complex Applications

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Logres is a new-generation database system integrating features from deductive and object-oriented databases [1, 2, 3, 4, 5]. The data model of Logres supports structural and semantic complexity through a rich collection of concepts from object-oriented models. The rule language allows for the manipulation of complex objects, the generation of new objects, and the definition of passive and active constraints. The application of set of rules to database states is controlled by means of qualifiers, which dictate the side effects of rules; qualifiers are the unique procedural feature of Logres, otherwise a fully declarative language.