Meta-level control for deductive database systems /
The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations. An important characteristic of these systems is the clear separation of logic and control. However, the programmer cannot affect the control part of a d...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1991.
|
| Series: | Lecture notes in computer science ;
479. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1