Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. The goal of this book is to help fill in the void in the literature with state-of-the-art surveys on key aspects of LP. Much attention was paid to making these surveys accessible to researchers, practitioners, and graduate students alike.

Programming --- Mathematical logic --- Logic programming. --- Declarative programming.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume is the proceedings of the Second International Conference on Deductive and Object-Oriented Databases (DOOD). During the last decade, deductive and object-oriented systems have received a great deal of attention, but for the most part these two fields were evolving independently of each other. Today there is a large body of work suggesting that the deductive and object-oriented paradigms complement each other. The object-oriented paradigm is characterized by its view of the data, whereby information is grouped around objects with complex internal structure accessed via methods. The declarative paradigm is centered around the idea that data manipulation must be done through a declarative, logic-based language. It is hoped that these two aspects, brought together in one system, will provide an integrated framework fora new database technology. The DOOD conference brings together researchers and developers in the fields of deductive and object-oriented databases to stimulate technical discussion and accelerate the integration of the two technologies. This volume contains 28 contributed papers (selected from 98 submissions) and two invited papers by world-renowned researchers.

Deductive databases --- -Object-oriented databases --- -681.3*H23 --- 681.3*I24 --- Object-oriented data bases --- Databases --- Object-oriented methods (Computer science) --- Deductive data bases --- Congresses --- Languages: data description languages; DDL; data manupulation languages; DML;query languages; report writers (Database management) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*H23 Languages: data description languages; DDL; data manupulation languages; DML;query languages; report writers (Database management) --- Object-oriented databases --- 681.3*H23 --- Deductive data bases - Congresses. --- Object-oriented data bases - Congresses. --- Database management. --- Computer science. --- Artificial intelligence. --- Database Management. --- Programming Techniques. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

object oriented --- Computer architecture. Operating systems --- database management --- relationele databanken --- netwerkbeheer --- SQL (structured query language) --- XML (extensible markup language) --- OLAP (online analytical processing) --- computerbeveiliging --- Database management --- Transaction systems (Computer systems) --- 681.3*H2 --- Database management: security; integrity; protection--See also {?681.5*E5} --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- TP systems (Computer systems) --- Transaction-oriented systems (Computer systems) --- Transaction processing systems (Computer systems) --- Computer systems --- Real-time data processing --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing