Why datalog with constraints?

Topics: AccessControl, SecPAL, Security
Nov 24, 2009 at 12:20 AM

I am studying SecPAL and other security languages for distributed systems. I have tried to guess why do they use Datalog for a start point but I couldn´t find out some paper or study that fundaments my ideas. Does anybody knows or guesses why is it?

 

Thank you very much for your help!

 

 

Coordinator
Dec 10, 2009 at 5:01 PM

Do you mean why the need for Datalog or why not use a more advanced inference engine such as Prolog?

Dec 10, 2009 at 7:26 PM

Hi, I want to understand just why. Mostly the need for doing so or the benefits that it has. I suppose you don´t use Prolog because of the functions on the head (and other reasons? ).

 

Thank you!!

Coordinator
Jan 12, 2010 at 10:46 PM

Wrt why Datalog vs Prolog, Datalog gives us deterministic and efficient query evaluation. Wrt why Datalog, it also helps with some of the complex recursive queries necessary to solve complex constrained delegation rules - amongst other things.

Jason

 

Jan 19, 2010 at 10:41 PM

Thank you very much! That was what kind of what I thought. 

 

Thanks again.

 

Claudia