scholarly journals Natural Language Query Parser using First Order Logic for Querying Relational Databases

2016 ◽  
Vol 134 (11) ◽  
pp. 43-48
Author(s):  
B. Sujatha ◽  
S. Viswanadha
2002 ◽  
pp. 203-249 ◽  
Author(s):  
Hendrik Decker

The main goal of this chapter is to arrive at a coherent technology for deriving efficient SQL triggers from declarative specifications of arbitrary integrity constraints. The user may specify integrity constraints declaratively as closed queries in predicate calculus syntax (i.e., sentences in the language of first-order logic, abbr. FOL), as datalog denials, as query conditions in SQL WHERE clauses, or in some other, possibly more user-friendly manner (e.g., via a dialog-driven graphical or natural language interface which internally translates to equivalent WHERE clause conditions). As we are going to see, the triggers derived from such specifications behave such that whenever some update event would violate any of the integrity constraints, one or several of the triggers derived from that constraint are activated in order to enforce the constraint. That is, the violation is either prevented by rolling back the update or repaired instantly by subsequent further updates.


2016 ◽  
Vol 5 (4) ◽  
pp. 58
Author(s):  
Luminita Pistol ◽  
Radu BUCEA-MANEA-TONIS

This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in filtered java 8 streams, enhanced with Tuples facilities from jOOλ library.   


2009 ◽  
pp. 596-614 ◽  
Author(s):  
I. Koffina ◽  
G. Serfiotis ◽  
V. Christophides ◽  
V. Tannen

Semantic Web (SW) technology aims to facilitate the integration of legacy data sources spread worldwide. Despite the plethora of SW languages (e.g., RDF/S, OWL) recently proposed for supporting large-scale information interoperation, the vast majority of legacy sources still rely on relational databases (RDB) published on the Web or corporate intranets as virtual XML. In this article, we advocate a first-order logic framework for mediating high-level queries to relational and/or XML sources using community ontologies expressed in a SW language such as RDF/S. We describe the architecture and reasoning services of our SW integration middleware, termed SWIM, and we present the main design choices and techniques for supporting powerful mappings between different data models, as well as reformulation and optimization of queries expressed against mediator ontologies and views.


2016 ◽  
Vol 33 (6) ◽  
pp. 569-580 ◽  
Author(s):  
Isidoros Perikos ◽  
Foteini Grivokostopoulou ◽  
Konstantinos Kovas ◽  
Ioannis Hatzilygeroudis

Author(s):  
Isidoros Perikos ◽  
Foteini Grivokostopoulou ◽  
Ioannis Hatzilygeroudis ◽  
Konstantinos Kovas

Sign in / Sign up

Export Citation Format

Share Document