Publisher's Synopsis
A tutorial introduction to the subject for students and researchers. Provides background information, a systematic overview, descriptions of algorithms, examples, and exercises. Balancing the theoretical foundations with technological problems, examines the new language Datalog , and illustrates the efficient interfacing of the formalisms with larg