Foundations of Deductive Databases and Logic Programming

The area of deductive databases has matured in recent years, and it now seems appropriate to reject upon what has been achieved and what the future holds. This book covers the up-to-date information in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, non-monotonic reasoning, and logic programming and the Internet. This book offers an approach to coping with large amounts of intelligent data by combining the techniques of database researchers, who are concerned with the efficient processing of large amounts of data, and of artificial intelligence researchers.