2678 search results - page 90 / 536 » Operational Semantics of Transactions |
149
click to vote
DBSEC
2009
15 years 5 months ago
2009
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege in an access control ...
154
click to vote
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...
124
click to vote
DBPL
2003
Springer
15 years 9 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
133
click to vote
ENTCS
2000
15 years 4 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...