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...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
479 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Meta-level control for deductive database systems, Helmut Schmidt, Berlin, Springer-Verlag, 1991, 1 vol. (VI-155 p.), Lecture notes in computer science, 0-387-53754-6 • Meta-Level Control for Deductive Database Systems, Texte imprimé, 9783662189245 |
Indholdsfortegnelse:
- A standard deductive database system
- An expert deductive database system
- Discarding irrelevant tuples
- Disregarding irrelevant rules
- Explicit termination of recursion
- Preferring useful rules
- Preferring useful tuples
- Summary and outlook.