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
Keyword(s):  
Natural Language ◽  
Relational Databases ◽  
Order Logic ◽  
First Order Logic ◽  
First Order ◽  
Natural Language Query

Translating Advanced Integrity Checking Technology to SQL

2002 ◽  
pp. 203-249 ◽  
Author(s):  
Hendrik Decker
Keyword(s):  
Natural Language ◽  
Order Logic ◽  
Predicate Calculus ◽  
Integrity Constraints ◽  
First Order Logic ◽  
First Order ◽  
Integrity Checking ◽  
Natural Language Interface ◽  
User Friendly ◽  
Declarative Specifications

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.

scholarly journals Logical Querying of Relational Databases

2016 ◽  
Vol 5 (4) ◽  
pp. 58
Author(s):  
Luminita Pistol ◽  
Radu BUCEA-MANEA-TONIS
Keyword(s):  
Relational Databases ◽  
Lambda Calculus ◽  
Formal Logic ◽  
Order Logic ◽  
First Order Logic ◽  
Short Introduction ◽  
First Order

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.   

Mediating RDF/S Queries to Relational and XML Sources

2009 ◽  
pp. 596-614 ◽  
Author(s):  
I. Koffina ◽  
G. Serfiotis ◽  
V. Christophides ◽  
V. Tannen
Keyword(s):  
Semantic Web ◽  
Relational Databases ◽  
Large Scale ◽  
Order Logic ◽  
Data Sources ◽  
First Order Logic ◽  
Main Design ◽  
First Order ◽  
High Level ◽  
The Web

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.

Automatic estimation of exercises'difficulty levels in a tutoring system for teaching the conversion of natural language into first-order logic

2016 ◽  
Vol 33 (6) ◽  
pp. 569-580 ◽  
Author(s):  
Isidoros Perikos ◽  
Foteini Grivokostopoulou ◽  
Konstantinos Kovas ◽  
Ioannis Hatzilygeroudis
Keyword(s):  
Natural Language ◽  
Order Logic ◽  
First Order Logic ◽  
Tutoring System ◽  
First Order ◽  
Automatic Estimation

Difficulty Estimator for Converting Natural Language into First Order Logic

2011 ◽  
pp. 135-144 ◽  
Author(s):  
Isidoros Perikos ◽  
Foteini Grivokostopoulou ◽  
Ioannis Hatzilygeroudis ◽  
Konstantinos Kovas
Keyword(s):  
Natural Language ◽  
Order Logic ◽  
First Order Logic ◽  
First Order
Sign in / Sign up

Export Citation Format

Share Document