Quantifiers in Action, Fachbücher von Antonio Badia

"Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages" ist ein Fachbuch, das sich mit der Datenbankindustrie und der Entwicklung eines neuen Abfragesystems beschäftigt. Es führt in die Konzepte der verallgemeinerten Quantifizierung (GQs) ein, die über die traditionellen Ansätze der ersten Ordnung Logik hinausgehen. Das Buch bietet eine fundierte Einführung in die Logik und erläutert die Implementierung von GQs in Abfragesprachen, wobei der Fokus auf der Effizienz liegt, die in der Datenbankverwaltung von zentraler Bedeutung ist. Es richtet sich an Fachleute und Forscher im Bereich Datenbankmanagement sowie an fortgeschrittene Studierende der Informatik. Die Inhalte sind praxisorientiert und beinhalten auch Erweiterungen für Dokumente, die Frage- und Antworttechniken nutzen.