Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Meta-Level Control for Deductive Database Systems

Name: Meta-Level Control for Deductive Database Systems
Brand: Springer, Berlin
SKU: 01565390
Price: 53.79 EUR
Availability: InStock
Author: Helmut Schmidt
ISBN: 9783540537540

Helmut Schmidt

Language

English

Book Paperback

Libristo code: 01565390

Publishers Springer, Berlin, November 1990

The development of database technology has currently reached the stage of deductive database systems... Full description

Libristo code: 01565390

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Os territorios do Reino de Deus Marcus Castro Faria

Paperback

34.49 €

Note Sur La Region Diamantifere De L'Afrique Australe (1880) Maurice Chaper

Paperback

19.49 €

Le Mahâbharata, Traduit de Sanscrit Par L. Ballin L. Ballin

Paperback

27.89 €

La Participation des salariés - Du partage d'information à l Patricia CRIFO Book

Paperback

13.49 €

6 PETITES PIECES FABRICE PIERRAT Book

binding.

16.59 €

Junge russische Literatur Kristina Senft

Paperback

12.00 €

Buschlerche Otto Ruppius

Paperback

15.89 €

Quanto sabes de... Vôlei Wanceulen Notebook

Paperback

11.39 €

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 deductive database system. To eliminate this deficiency, this monograph presents a so-called expert deductive database system that allows explicit control of the deduction process. The system consists of an object-level describing the logical aspects of a problem and of a meta-level that contains application-specific control information affecting the object-level deduction process. For example, object-level rules can be disregarded, and some tuples deduced at the object-level can be preferred to others. Besides the architecture of this system, the book also identifies some important possibilities of deduction control which are explained by characteristic examples.