Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

The database industry is clearly a multi-billion, world-wide, all-encompassing part of the software world. This is part thanks to the standardization of query languages in the form of SQL. And yet, it is well known that SQL has significant shortcomings. Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages analyzes one of those shortcomings, the way in which quantification is dealt with in SQL. It is well known that most query languages are simply versions of First Order Logic (FOL). GQs are an extension of the idea of quantifier in FOL. Hence, GQs can be a meaningful extension of the treatment of quantification in query languages. Even though studied within the theoretical community up until now, GQs can be successfully applied, and are a perfect example of a practical theory within databases. This book provides a brief background in logic and introduces the concept of GQs, and then develops a query language based on GQs, called QLGQ. Using QLGQ, the reader explores the efficient implementation of the concept, always a primary consideration in databases. This professional book also includes several extensions, for use with documents employing question and answer techniques. Quantifiers in Action: Generalized Quantification in Query, Logical and Natural Languages is the result of several years of research funded by NSF through a CAREER Award. It is designed for practitioners and researchers that work within the database management field. This volume is also suitable for graduate-level students in computer science.

Categories (Mathematics). --- Categories (Mathematics) --- Engineering & Applied Sciences --- Mathematics --- Algebra --- Mathematical Theory --- Computer Science --- Physical Sciences & Mathematics --- Category theory (Mathematics) --- Computer science. --- Computer communication systems. --- Programming languages (Electronic computers). --- Database management. --- Information storage and retrieval. --- Computer Science. --- Database Management. --- Programming Languages, Compilers, Interpreters. --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet). --- Computer Communication Networks. --- Ordered algebraic structures --- Sheaf theory --- Congresses. --- Congresses --- Information storage and retrieva. --- 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 --- Informatics --- Science --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Algèbre homologique --- Topologie algébrique --- Algebraic topology --- Algebra, Homological --- Application software. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Distributed processing --- Analyse fonctionnelle --- Functional analysis --- Algèbre homologique. --- Topologie algébrique. --- Algèbre homologique --- Topologie algébrique --- Algebraic topology. --- Algebra, Homological. --- Catégories (mathématiques) --- Functional analysis. --- Geometrie algebrique --- Cohomologie --- Programming languages (Electronic computers) --- Computer networks.