Data Protection by Logic Programming
- 15 December 2000
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 1300-1314
- https://doi.org/10.1007/3-540-44957-4_87
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A unified framework for enforcing multiple access control policiesPublished by Association for Computing Machinery (ACM) ,1997
- A temporal access control mechanism for database systemsIEEE Transactions on Knowledge and Data Engineering, 1996
- Role-based access control modelsComputer, 1996
- Efficient top-down computation of queries under the well-founded semanticsThe Journal of Logic Programming, 1995
- Database updates in the event calculusThe Journal of Logic Programming, 1992
- Signed data dependencies in logic programsThe Journal of Logic Programming, 1989
- A Theorem-Proving Approach to Database IntegrityPublished by Elsevier ,1988
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Negation as FailurePublished by Springer Nature ,1978
- An authorization mechanism for a relational database systemACM Transactions on Database Systems, 1976