The design and implementation of K: A high-level knowledge-base programming language of OSAM*.KBMS

VLDB Journal

Volumn 5, Issue 3, 1996, Pages 181-195

  Shyy, Yuh Ming ^a   Arroyo, Javier ^a   Su, Stanley Y W ^a   Lam, Herman ^a  

^a UNIVERSITY OF FLORIDA   (United States)

Author keywords

Abstractions; Association patterns; Knowledge base programming language; Object oriented knowledge model; Structural associations

Indexed keywords

EID: 0003426364     PISSN: 10668888     EISSN: None     Source Type: Journal    
DOI: 10.1007/s007780050023     Document Type: Article

References (66)

1. Agrawal R, Gehani N (1989) ODE (Object Database and Environment): the language and the data model. In: Proc ACM SIGMOD Int Conf Manage Data, Portland, OR, pp 36-45
2. Alashqur A, Su S, Lam H (1989) OQL-A Query Language for Manipulating Object-oriented Databases. Proc 15th Int Conf Very Large Databases, Amsterdam, Netherlands, August, pp 433-442
3. Alasqur AM, Su SYW, Lam, H (1990) A Rule-based Language for Deductive Object- Oriented Databases, Proc. of the sixth Int Conf on data Engineering, Los Angeles Calif, 5-9 February
4. Albano A, Cardelli L, Orsini R (1985) Galileo: A strongly-typed, interactive conceptual language ACM Trans Database Syst 10:230-260
5. Andrews T, Harris C (1987) Combining language and database advances in an object- oriented development environment. In: Proc 2nd Int Conf on OOPSLA, October, pp 430-440
6. Annevelink J (1991) Database programming languages: a functional approach. In: ACM SIGMOD Int Conf Manage Data, pp 318-327
7. Arroyo J (1991) The design and implementation of K.I: a third-generation-database base programming language, (Technical Report), Database Systems R&D Center, University of Florida
8. Atkinson MP, Bailey PJ, Chisholm KJ, Cockshott PW, Morrison R (1983) An approach to persistent programming. Comput J 26:360-365
9. Atkinson MP, Buneman PO (1987) Types and persistence in database programming languages. ACM Comput Surv 19:105-190
10. Atkinson M, Bancilhon F, DeWitt D, Dittrich K, Maier D, Zdonik S (1990) The object-oriented database system manifesto. In: Kim W, Nicolas JM, Nishio S (eds). Deductive and object-oriented databases. Elsevier (North-Holland), Amsterdam, pp 223-240
11. Blakeley JA, Thompson CW, Alasqur AM (1990) OQL[X]: extending a programming language X with a query capability, (Technical Report 90-07-01) Information Technologies Laboratory, Texas Instruments, Dallas, TX
12. Bloom T, Zdonik SB (1987) Issues in the design of object-oriented database programming languages. In: Proc 2nd Int Conf on OOPSLA, Orlando, FL, pp 441-451
13. Butterworth P, Otis A, Stein J (1991) The GemStone object database management system. In: CACM 34:64-77
14. Cacace F, Ceri S, Crespi-Reghizzi S, Tanca L, Zicari R (1990) Integrating object-oriented data modeling with a rule-based programming paradigm. In Proc ACM SIGMOD 1990, pp 225-236
15. Chakravarthy US (1989) Rule management and evaluation: an active DBMS perspective. SIGMOD Rec 18:20-28
16. Chen PP (1976) The entity-relationship model - toward a unified view of data. ACM Trans Database Syst 1:9-36
17. Chimenti D, Gamboa R, Krishnamurthy R, Naqvi SA, Tsur S, Zaniolo C (1990) The LDL system prototype. IEEE J Data Knowl Eng 2:76-90
18. Committee for Advanced DBMS Function (1990) Third-Generation database system manifesto. In: SIGMOD Rec 19:31-44
19. Copeland GP, Maier D (1984) Making Smalltalk a Database System, Proc. 1988 ACM SIGMOD Int Conf Manage Data, Boston, MA, pp 316-325
20. Dayal U, Blaustein BT, Buchmann AP, Chakravarthy US, Hsu M, Ledin R, McCarthy DR, Rosenthal A, Sarin SK, Carey MJ, Livny M, Jauhari R (1988) The HiPAC project: combining active databases and timing constraints. In: SIGMOD Rec 17:51-70
21. Deux O (1991) The O2 system. CACM 34:34-48
22. Fishman DH, Beech D, Cate HP, Chow EC, Connors T, Davis JW, Derrett N, Hoch CG, Kent W, Lyngbaek P, Mahbod B, Neimat MA, Ryan TA, Shan MC (1987) IRIS: An object-oriented database management systems. ACM Trans Off Inf Syst 5
23. Gehani NH, Jagadish HV (1991) Ode as an active database: constraints and triggers. In: Proc. 17th Int Conf on Very Large Data Bases, Barcelona, Catalonia, Spain, September 3-6, pp 327-336
24. Guo MS, Su SYW, Lam H (1991) An association algebra for processing object-oriented databases. In: Proc 7th IEEE Int Conf Data Eng, Kobe, Japan
25. Hammer M, Berkowitz B (1980) DIAL: A programming language for data intensive applications. In: Proc ACM SIGMOD Conf Manage Data, Santa Monica, CA, pp 75-92
26. Hanson E (1989) An initial report on the design of Ariel: a DBMS with an integrated production rule system. SIGMOD Rec 18:12-19
27. Khoshfian S, Copeland G (1986) Object identity. In: Proc ACM OOPSLA, Portland, OR, November, pp 406-414
28. Kim W, Ballou N, Banerjee J, Chou HT, Garza JF, Woelk D (1988) Integrating an object-oriented programming system with a database system. Proc 3rd Int Conf OOPSLA, September, pp 142-152
29. Lam H, Su S, Alashqur A (1989) Integrating the concepts and techniques of semantic modeling and the object-oriented paradigm. Proc 13th Int Comput Software Appl Conf (COMPSAC), October, pp 209-217
30. Lam H, Su SYW (1989) Prototype implementation of an object-oriented knowledge base management system (extended abstract). In: Proc 2nd Florida Conf Prod Comput Integrated Eng Manuf November, Florida, pp 68-70
31. Lam H, Su SYW, Ruhela V, Pant S, Ju SM, Sharma M, Prasad N (1992) GTOOLS: an active GUI toolset for an object-oriented KBMS. Int J Comput Syst Sci Eng 7:69-85
32. Lamb C, Landis G, Orenstein J, Weinreb D (1992) The ObjectStore database system. CACM 34:50-63
33. Lingat J, Rolland C (1988) Rapid application prototyping: the proquel language. In: Proc 14th VLDB Conf, Los Angeles, Calif, USA, pp 206-217
34. Lohman GM, Lindsay B, Pirahesh H, Schiefer KB (1991) Extensions to Starburst: objects, types, functions, and rules. CACM 34:94-109
35. Maier D (1989) Why database languages are a bad idea. In: Bancilhon F, Buneman P (eds) Workshop Database Program Lang, Addison-Wesley
36. Maier D, Stein J, Otis A, Purdy A (1986) Development of an object-oriented DBMS. OOPSLA '86 Proc, Portland, OR, November, pp 472-482
37. Moss J (1981) Nested transactions: an approach to reliable distributed computing. MIT Laboratory for Computer Science, MIT/LCS/TR-260, Cambridge, Mass
38. Mylopoulos J, Bernstein PA, Wong HKT (1980) A language facility for designing database-intensive applications. ACM Trans Database Syst 5:185-207
39. Ontologic Inc (1991) ONTOS 2.0 product description. Burlington, Mass
40. Phipps G, Derr M (1991) Glue-Nail: a deductive database system. In: ACM SIGMOD Int Conf Manage Data, pp 308-317
41. Richardson J, Carey M (1987) Programming constructs for database system implementation in EXODUS. Proc 1987 ACM SIGMOD Int Conf Manage Data, pp 208-219
42. Richardson J, Schwartz P (1991) Aspects: extending objects to support multiple, independent roles. In: ACM SIGMOD Int Conf Manage Data, pp 298-307
43. Rowe LA, Shoens KA (1979) Database abstractions, views, and updates in RIGEL. In: Proc ACM SIGMOD Conf Manage Data, Boston, Mass., USA, pp 71-81
44. Schaffert C, Cooper T, Bullis B, Killian M, Wilpolt C (1986) An introduction to Trellis/Owl. In: Proc 3rd Int Conf on OOPSLA, Portland, OR, November, pp 9-16
45. Schmidt JW (1977) Some high level language constructs for data type relation. ACM Trans Database Syst 2:247-281
46. Shipman DW (1981) The functional data model and the data language DAPLEX. ACM Trans Database Syst 6:140-173
47. Shyy YM (1992) K: an object-oriented knowledge base programming language for software development and prototyping. PhD dissertation, Computer and Information Science Department, University of Florida, Gainesville
48. Shyy YM, Su SYW (1991) K: a high-level knowledge base programming language for advanced database applications. In: ACM SIGMOD Int Conf Manage Data, pp 338-347
49. Smith J, Smith C (1977) Database abstractions: aggregation and generalization. ACM Trans Database Syst 2:105-133
50. Smith JM, Fox S, Landers T (1983) ADAPLEX: rational and reference manual, 2nd edn. Computer Corporation of America, Cambridge, Mass
51. Special issue on next-generation database systems (1991). Commun ACM 34:30-120
52. Stefik M, Bobrow D (1986) Object-oriented programming: themes and variations. AI Mag 6:40-64
53. Stein LA, Zdonik SB (1989) Clovers: the dynamic behavior of types and instances (Technical Report CS-89-42). Brown University, Providence, RI
54. Stonebraker M, Kemnitz G (1989) The POSTGRES next generation database management system. CACM 34:78-92
55. Stroustrup B (1986) The C++ programming language. Reading, Mass: Addison-Wesley
56. Su SYW (1983) SAM*: a semantic association model for corporate and scientific-statistical databases. J Inf Sci 29:151-199
57. Su SYW (1989) Extensions to the object-oriented paradigm. Proc 13th Int Comput Software Appl Conf (COMPSAC), October, Orlando, FL, pp 197-199
58. Su SYW, Alashqur AM (1991) A pattern-based constraint specification language for object-oriented databases. In: Proc IEEE COMPCON'91, San Francisco, Calif, 25 February-1 March
59. Su SYW, Lam H (1992) An object-oriented knowledge base management system for supporting advanced applications. In: Proc 4th Int Hong Kong Comput Soc Database Workshop, Hong Kong, December, pp 3-22
60. Su SYW, Shyy YM (1993) An object-oriented knowledge model for KBMS-supported evolutionary prototyping of software systems. In: Adam NR, Bhargava B (eds) Advanced database systems. Berlin Heidelberg New York: Springer, pp 105-125
61. Su SYW, Krishnamurthy V, Lam H (1989) An object-oriented semantic association model OSAM*. In: Kumara ST, Soyster AL, Kashyap RL (eds) Artificial intelligence manufacturing theory and practice. American Institute of Industrial Engineering, pp 463-494
62. Su SYW, Lam H, Eddula S, Arroyo J, Prasad N, Zhuang R (1993) OSAM*.KBMS: an object-oriented knowledge-base management system for supporting advanced applications. In: Proc 1993 ACM SIGMOD Int Conf Manage Data, Washington, DC, pp 540-541
63. Wasserman, AI, Sheretz DD, Kersten ML, Van de Riet RP, Dippe MD (1981) Revised report on the programming language PLAIN. ACM SIGPLAN Not 16:59-80
64. Wilkinson K, Lyngbaek P, Hassan W (1990) The Iris architecture and implementation. IEEE Trans Knowl Data Eng 2:63-75
65. Wu P (1993) Rule validation in object-oriented knowledge bases. PhD dissertation, Department of Electrical Engineering, University of Florida, Gainesville
66. Yassen R, Su SYW, Lam H (1991) An extensible kernel object management system. In: Proc ACM SIGPLAN OOPSLA'91, pp 247-263