Cheung / Solar-Lezama | Computer-Assisted Query Formulation | Buch | 978-1-68083-036-1 | www2.sack.de

Buch, Englisch, Band 7, 108 Seiten, Format (B × H): 156 mm x 234 mm

Reihe: Foundations and Trends® in Programming Languages

Cheung / Solar-Lezama

Computer-Assisted Query Formulation


1. Auflage 2016
ISBN: 978-1-68083-036-1
Verlag: Now Publishers

Buch, Englisch, Band 7, 108 Seiten, Format (B × H): 156 mm x 234 mm

Reihe: Foundations and Trends® in Programming Languages

ISBN: 978-1-68083-036-1
Verlag: Now Publishers


Database management systems (DBMS) typically provide an application programming interface for users to issue queries using query languages such as SQL. Many such languages were originally designed for business data processing applications. While these applications are still relevant, two other classes of applications have become important users of data management systems: (1) web applications that issue queries programmatically to the DBMS, and (2) data analytics involving complex queries that allow data scientists to better understand their datasets. Unfortunately, existing query languages provided by database management systems are often far from ideal for these application domains. Computer-Assisted Query Formulation describes a set of technologies that assist users in specifying database queries for different application domains. The goal of such systems is to bridge the gap between current query interfaces provided by database management systems and the needs of different usage scenarios that are not well served by existing query languages. This monograph discusses the different interaction modes that such systems provide and the algorithms used to infer user queries. In particular, it focuses on a new class of systems built using program synthesis techniques, and furthermore discusses opportunities in combining synthesis and other methods used in prior systems to infer user queries.

Cheung / Solar-Lezama Computer-Assisted Query Formulation jetzt bestellen!

Weitere Infos & Material


1: Introduction 2: Query Processing 3: Program Synthesis 4: Using Verified Lifting to Rewrite Code into SQL 5: Assisting Users Specify Database Queries 6: Conclusion and Future Work. References



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.