The Community for Technology Leaders
2013 IEEE 29th International Conference on Data Engineering (ICDE) (2002)
San Jose, California
Feb. 26, 2002 to Mar. 1, 2002
ISBN: 0-7695-1531-2
pp: 0270
INDEX TERMS
CITATION
R. Elmasri, M. Nakamura, "Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules", 2013 IEEE 29th International Conference on Data Engineering (ICDE), vol. 00, no. , pp. 0270, 2002, doi:10.1109/ICDE.2002.994724
88 ms
(Ver 3.3 (11022016))