登入選單

返回Google圖書搜尋

Foundations of Secure Deductive Databases

Piero Bonatti

出版	University of Maryland, 1992
URL	http://books.google.com.hk/books?id=-FWVpwAACAAJ&hl=&source=gbs_api

註釋

Abstract: "In this paper, we develop a formal logical foundation for secure deductive databases. This logical foundation is based on an extended logic involving several modal operators. We develop two models of interaction between the user and the database called 'yes-no' dialogs, and 'yes-no-don't know' dialogs. Both dialog frameworks allow the database to lie to the user. We develop an algorithm for answering queries using yes- no dialogs and prove that secure query processing using yes-no dialogs is NP-complete. Furthermore, the algorithm is maximally cooperative to user in the sense that lying is resorted to only when absolutely necessary. Consequently, the degree of computational intractability of query processing with yes-no dialogs is no worse than for ordinary databases