共 50 条
- [2] HILBERTIAN DEDUCTIVE SYSTEMS, INFON LOGIC, AND DATALOG BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2010, (102): : 122 - 150
- [4] Deductive database security RESEARCH DIRECTIONS IN DATA AND APPLICATIONS SECURITY, 2003, 128 : 103 - 114
- [7] Deductive Approaches in Database Systems INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM-2018), 2019, 2116
- [9] The deductive database system LOLA LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 375 - 386
- [10] Generating deductive database explanations LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 154 - 168