๐ฎ
๐ฎ
The Ethereal
Improving the Deductive System DES with Persistence by Using SQL DBMS's
January 09, 2015 ยท The Ethereal ยท ๐ PROLE
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Fernando Sรกenz-Pรฉrez
arXiv ID
1501.02036
Category
cs.LO: Logic in CS
Cross-listed
cs.AI,
cs.DB
Citations
3
Venue
PROLE
Last Checked
5 months ago
Abstract
This work presents how persistent predicates have been included in the in-memory deductive system DES by relying on external SQL database management systems. We introduce how persistence is supported from a user-point of view and the possible applications the system opens up, as the deductive expressive power is projected to relational databases. Also, we describe how it is possible to intermix computations of the deductive engine and the external database, explaining its implementation and some optimizations. Finally, a performance analysis is undertaken, comparing the system with current relational database systems.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic in CS
๐ฎ
๐ฎ
The Ethereal
Safe Reinforcement Learning via Shielding
๐ฎ
๐ฎ
The Ethereal
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
๐ฎ
๐ฎ
The Ethereal
Heterogeneous substitution systems revisited
๐ฎ
๐ฎ
The Ethereal
Omega-Regular Objectives in Model-Free Reinforcement Learning
๐ฎ
๐ฎ
The Ethereal