A requirements modeling language and its logic
Information Systems
Experiences with the RAP system-a specification interpreter combining term rewriting and resolution
Proc. of the European symposium on programming on ESOP 86
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Object-oriented concepts, databases, and applications
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic programming and databases
Logic programming and databases
Algebraic methods: theory, tools and applications
Database application development as an object modeling activity
Proceedings of the sixteenth international conference on Very large databases
The software development environment as a knowledge base management system
Foundations of knowledge base management
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
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Non first normal form relations to represent hierarchically organized data
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Towards KBMS for Software Development: An Overview of the DAIDA Project
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Extended Algebra and Calculus for ~1NF Relational Databases
Extended Algebra and Calculus for ~1NF Relational Databases
A Logic-Based Approach to Reverse Engineering Tools Production
IEEE Transactions on Software Engineering - Special issue on software maintenance
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Hi-index | 0.00 |
The authors present an environment and a methodology for the design and rapid prototyping of data-intensive software applications, i.e., applications which perform substantial retrieval and update activity on persistent data. In the approach, the application is formally specified using Logres, a database language which combines object-oriented data modeling and rule-based programming. These specifications are translated into Algres, an extended relational algebra, thus yielding a rapid executable prototype. Algres programs embedded into a conventional programming language interface may be converted to conventional programs operating on a commercial relational system. This methodology helps automate the conversion from declarative requirements to imperative code, performing several tasks fully automatically and reducing the probability of human errors, while integrity constraints and application specifications are expressed in a declarative language, at a very high level of abstraction.