Welcome to IJSDR

IJSDR

INTERNATIONAL JOURNAL OF SCIENTIFIC DEVELOPMENT AND RESEARCH
International Peer Reviewed & Refereed Journals, Open Access Journal
ISSN Approved Journal No: 2455-2631 | Impact factor: 8.15 | ESTD Year: 2016
open access , Peer-reviewed, and Refereed Journals, Impact factor 8.15

Submit Paper Online

Call For Paper

Issue: September 2024

Volume 9 | Issue 9

Impact factor: 8.15

Click Here For more Info

Imp Links for Author

Imp Links for Reviewer

Research Area

Subscribe IJSDR

Visitor Counter

Indexing Partner

Published Paper Details

Paper Title:	On the decidability of the information flow in Datalog using Magic Sets
Authors Name:	Antoun Yaacoub , Hassan Safwan
Unique Id:	IJSDR1701005
Published In:	Volume 2 Issue 1, January-2017
Abstract:	Information flow in logic programming was recently defined using the bottom-up evaluation approach. In this paper, we tackle the same question using the Magic Sets bottom-up evaluation approach. We will show, using this technique that the existence of the information flow is decidable. Finally, we will study the computational complexity of the decidability of the existence of the flow and prove that it is EXPTIME-complete.
Keywords:	Logic programming, Information flow, Datalog, Decision problem, Computational complexity, Deductive database
Cite Article:	"On the decidability of the information flow in Datalog using Magic Sets", International Journal of Science & Engineering Development Research (www.ijsdr.org), ISSN:2455-2631, Vol.2, Issue 1, page no.19 - 27, January-2017, Available :http://www.ijsdr.org/papers/IJSDR1701005.pdf
Downloads:	000346976
Publication Details:	Published Paper ID: IJSDR1701005 Registration ID:170013 Published In: Volume 2 Issue 1, January-2017 DOI (Digital Object Identifier): Page No: 19 - 27 Publisher: IJSDR \| www.ijsdr.org ISSN Number: 2455-2631

Click Here to Download This Article

Article Preview
Click here for Article Preview

Major Indexing from www.ijsdr.org

Google Scholar	ResearcherID Thomson Reuters	Mendeley : reference manager	Academia.edu
arXiv.org : cornell university library	Research Gate	CiteSeerX	DOAJ : Directory of Open Access Journals
DRJI	Index Copernicus International	Scribd	DocStoc

Track Paper

Track Submitted Paper

Important Links

Call For Paper

Join As Reviewer

Conference Proposal

CLICK HERE
For Conference Prposal

ISSN

DOI (A digital object identifier)

Providing A digital object identifier by DOI
How to GET DOI and Hard Copy Related

Open Access License Policy

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License Creative Commons License

Social Media

IJSDR

Indexing Partner

For Authors Sample Paper Format Submit Paper Online Call For Paper Copyright Form Undetaking Form Publication Charges FAQ Contact US	Publications Current Issue Past Issue	Proposals Join As a Reviewer Editiorial Board Join in RMS Program Conference Proposal	Policies Privacy Policy Payment Terms and Condition Copyright Infringement Claims Payment Refund Policy
Copyright © 2024 - All Rights Reserved - IJSDR