Tags
Language
Tags
May 2024
Su Mo Tu We Th Fr Sa
28 29 30 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31 1

Database Machines: Modern Trends and Applications

Posted By: AvaxGenius
Database Machines: Modern Trends and Applications

Database Machines: Modern Trends and Applications by A. K. Sood, A. H. Qureshi
English | PDF | 1986 | 568 Pages | ISBN : 3642829392 | 42.1 MB

This volume consists of a collection of 28 papers presented at the NATO Advanced Study Institute held July 14-27, 1985 in the beautiful resort at Les Arcs, France. The director of this ASI was A. K. Sood and A. H. Qureshi was the co-director. Since its introduction in the early 1970s the relational data model has been widely accepted. Several research and industrial efforts are being undertaken to develop special purpose database machines to implement the relational model. In addition, database machines are being explored for applications such as image processing and information retrieval. In this NATO-ASI the lecturers discussed special purpose database machine architectures from the viewpoint of architecture and hardware detail, software, user needs, theoretical framework and applications.

Parallel and Distributed Logic Programming

Posted By: AvaxGenius
Parallel and Distributed Logic Programming

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines by Alakananda Bhattacharya , Amit Konar , Ajit K. Mandal
English | PDF(True) | 2006 | 302 Pages | ISBN : 3540334580 | 1.84 MB

Foundation of logic historically dates back to the times of Aristotle, who pioneered the concept of truth/falsehood paradigm in reasoning. Mathematical logic of propositions and predicates, which are based on the classical models of Aristotle, underwent a dramatic evolution during the last 50 years for its increasing applications in automated reasoning on digital computers. The subject of Logic Programming is concerned with automated reasoning with facts and knowledge to answer a user’s query following the syntax and semantics of the logic of propositions/predicates. The credit of automated reasoning by logic programs goes to Professor Robinson for his well-known resolution theorem that provides a general scheme to select two program clauses for deriving an inference.