Foundations of Deductive Databases and Logic Programming (PDF)
(Sprache: Englisch)
Foundations of Deductive Databases and Logic Programming focuses on the foundational issues concerning deductive databases and logic programming.
The selection first elaborates on negation in logic programming and towards a theory of declarative...
The selection first elaborates on negation in logic programming and towards a theory of declarative...
sofort als Download lieferbar
eBook (pdf)
70.95 €
35 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Foundations of Deductive Databases and Logic Programming (PDF)“
Foundations of Deductive Databases and Logic Programming focuses on the foundational issues concerning deductive databases and logic programming.
The selection first elaborates on negation in logic programming and towards a theory of declarative knowledge. Discussions focus on model theory of stratified programs, fixed point theory of nonmonotonic operators, stratified programs, semantics for negation in terms of special classes of models, relation between closed world assumption and the completed database, negation as a failure, and closed world assumption. The book then takes a look at negation as failure using tight derivations for general logic programs, declarative semantics of logic programs with negation, and declarative semantics of deductive databases and logic programs.
The publication tackles converting AND-control to OR-control by program transformation, optimizing dialog, equivalences of logic programs, unification, and logic programming and parallel complexity. Topics include parallelism and structured and unstructured data, parallel algorithms and complexity, solving equations, most general unifiers, systems of equations and inequations, equivalences of logic programs, and optimizing recursive programs.
The selection is a valuable source of data for researchers interested in pursuing further studies on the foundations of deductive databases and logic programming.
The selection first elaborates on negation in logic programming and towards a theory of declarative knowledge. Discussions focus on model theory of stratified programs, fixed point theory of nonmonotonic operators, stratified programs, semantics for negation in terms of special classes of models, relation between closed world assumption and the completed database, negation as a failure, and closed world assumption. The book then takes a look at negation as failure using tight derivations for general logic programs, declarative semantics of logic programs with negation, and declarative semantics of deductive databases and logic programs.
The publication tackles converting AND-control to OR-control by program transformation, optimizing dialog, equivalences of logic programs, unification, and logic programming and parallel complexity. Topics include parallelism and structured and unstructured data, parallel algorithms and complexity, solving equations, most general unifiers, systems of equations and inequations, equivalences of logic programs, and optimizing recursive programs.
The selection is a valuable source of data for researchers interested in pursuing further studies on the foundations of deductive databases and logic programming.
Bibliographische Angaben
- 2014, 752 Seiten, Englisch
- Herausgegeben: Jack Minker
- Verlag: Elsevier Science & Techn.
- ISBN-10: 1483221121
- ISBN-13: 9781483221120
- Erscheinungsdatum: 12.05.2014
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 35 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Foundations of Deductive Databases and Logic Programming"
0 Gebrauchte Artikel zu „Foundations of Deductive Databases and Logic Programming“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Foundations of Deductive Databases and Logic Programming".
Kommentar verfassen