-
1
-
-
0000733226
-
Hilog: A foundation for higher-order logic programming
-
February
-
W. Chen, M. Kifer, and D. S. Warren. Hilog: A foundation for higher-order logic programming. Journal of Logic Programming, 15(3):187-230, February 1993.
-
(1993)
Journal of Logic Programming
, vol.15
, Issue.3
, pp. 187-230
-
-
Chen, W.1
Kifer, M.2
Warren, D.S.3
-
2
-
-
84952323827
-
View definitions with parameters
-
Workshops in Computing, Springer
-
Johann Eder. View definitions with parameters. In Proceedings of the Second ADBIS International Workshop, Moscow, June 27-30, Workshops in Computing, pages 170-184. Springer, 1995.
-
(1995)
Proceedings of the Second ADBIS International Workshop, Moscow, June 27-30
, pp. 170-184
-
-
Eder, J.1
-
3
-
-
84856600528
-
Practical problems in coupling deductive engines with relational databases
-
Seattle, WA, May
-
Juliana Freire. Practical problems in coupling deductive engines with relational databases. In Proceedings of the 5th KRDB Workshop, pages 11-1-11-7, Seattle, WA, May 1998.
-
(1998)
Proceedings of the 5th KRDB Workshop
, pp. 111-117
-
-
Freire, J.1
-
7
-
-
0029333530
-
Logical Foundations for Object-Oriented and Frame-Based Languages
-
July
-
M. Kifer, G. Lausen, and J. Wu. Logical Foundations for Object-Oriented and Frame-Based Languages. Journal of the Association of Computing Machinery, 42(3):741-843, July 1995.
-
(1995)
Journal of the Association of Computing Machinery
, vol.42
, Issue.3
, pp. 741-843
-
-
Kifer, M.1
Lausen, G.2
Wu, J.3
-
8
-
-
0028445864
-
Implementation of magic-sets in a relational database system
-
ACM Press
-
Inderpal Singh Mumick and Hamid Pirahesh. Implementation of magic-sets in a relational database system. In Proceedings of the ACM SIGMOD International Conference, Minneapolis, Minnesota, May 24-27, pages 103-114. ACM Press, 1994.
-
(1994)
Proceedings of the ACM SIGMOD International Conference, Minneapolis, Minnesota, May 24-27
, pp. 103-114
-
-
Mumick, I.S.1
Pirahesh, H.2
-
9
-
-
84952309288
-
Equipping statistical analysis function with a deductive database system and its application to protein structural analysis
-
Nara, Japan, October
-
A. Nishikawa, K. Satou, E. Furuichi, S. Kuhara, and K. Ushijima. Equipping statistical analysis function with a deductive database system and its application to protein structural analysis. In Proc. of Intl. Sym. on Advanced Database Technologies and Their Integration, pages 237-244, Nara, Japan, October 1994.
-
(1994)
Proc. of Intl. Sym. on Advanced Database Technologies and Their Integration
, pp. 237-244
-
-
Nishikawa, A.1
Satou, K.2
Furuichi, E.3
Kuhara, S.4
Ushijima, K.5
-
10
-
-
0029407406
-
Data classification component in a deductive database system and its application to protein structural analysis
-
A. Nishikawa, K. Satou, E. Furuichi, S. Kuhara, and K. Ushijima. Data classification component in a deductive database system and its application to protein structural analysis. IEICE Transactions on Information and Systems, E78-D(11):1377-1387, 1995.
-
(1995)
IEICE Transactions on Information and Systems
, vol.E78-D
, Issue.11
, pp. 1377-1387
-
-
Nishikawa, A.1
Satou, K.2
Furuichi, E.3
Kuhara, S.4
Ushijima, K.5
-
11
-
-
84952311093
-
Development of a deductive database system for computing closures of similarity relationships among protein structures
-
K. Satou, E. Furuichi, S. Hashimoto, Y. Tsukamoto, S. Kuhara,Toshihisa Takagi, and K. Ushijima. Development of a deductive database system for computing closures of similarity relationships among protein structures. Journal of Japanese Society for Artificial Intelligence, 11(3):440-450, 1996.
-
(1996)
Journal of Japanese Society for Artificial Intelligence
, vol.11
, Issue.3
, pp. 440-450
-
-
Satou, K.1
Furuichi, E.2
Hashimoto, S.3
Tsukamoto, Y.4
Kuhara, S.5
Takagi, T.6
Ushijima, K.7
-
12
-
-
0028915815
-
Application of deductive database system PACADE toward discovery of clusters of similar structures in proteins
-
Hawaii, January
-
K. Satou, E. Furuichi, T. Takagi, and S. Kuhara. Application of deductive database system PACADE toward discovery of clusters of similar structures in proteins. In Proc. of the twenty-seventh Annual Hawaii International Conference on System Sciences, pages 160-169, Hawaii, January 1994.
-
(1994)
Proc. of the Twenty-seventh Annual Hawaii International Conference on System Sciences
, pp. 160-169
-
-
Satou, K.1
Furuichi, E.2
Takagi, T.3
Kuhara, S.4
-
13
-
-
0025447768
-
On rules, procedures, caching and views in data base systems
-
Michael Stonebraker, Anant Jhingran, Jeffrey Goh, and Spyros Potamianos. On rules, procedures, caching and views in data base systems. In Proceedings of the ACM SIGMOD International Conference, Atlantic City, NJ, May 23-25, pages 281-290, 1990.
-
(1990)
Proceedings of the ACM SIGMOD International Conference, Atlantic City, NJ, May 23-25
, pp. 281-290
-
-
Stonebraker, M.1
Jhingran, A.2
Goh, J.3
Potamianos, S.4
-
14
-
-
0022582342
-
Parameterized view definition and recursive relations
-
IEEE Computer Society
-
Motomichi Toyama. Parameterized view definition and recursive relations. In Proceedings of the Second International Conference on Data Engineering, February 5-7, 1986, Los Angeles, California, USA, pages 707-712. IEEE Computer Society, 1986.
-
(1986)
Proceedings of the Second International Conference on Data Engineering, February 5-7, 1986, Los Angeles, California, USA
, pp. 707-712
-
-
Toyama, M.1
|