메뉴 건너뛰기




Volumn 62, Issue 2, 2007, Pages 219-247

A fuzzy Petri net model for intelligent databases

Author keywords

Active database; Confluence; Fuzziness; Fuzzy Petri net; Knowledge base; Object oriented database; Static rule analysis; Termination

Indexed keywords

DATABASE SYSTEMS; FUZZY SETS; LARGE SCALE SYSTEMS; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; USER INTERFACES; WEATHER FORECASTING;

EID: 34247575131     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2006.08.003     Document Type: Article
Times cited : (34)

References (32)
  • 1
    • 0029277484 scopus 로고
    • Static analysis techniques for predicting the behavior of active database rules
    • Aiken A., Hellerstein J., and Widom J. Static analysis techniques for predicting the behavior of active database rules. ACM Transactions on Database Systems (TODS) 20 1 (1995) 3-41
    • (1995) ACM Transactions on Database Systems (TODS) , vol.20 , Issue.1 , pp. 3-41
    • Aiken, A.1    Hellerstein, J.2    Widom, J.3
  • 2
    • 84958780318 scopus 로고    scopus 로고
    • E. Baralis, S. Ceri, S. Paraboschi, Improved rule analysis by means of triggering and activation graphs, in: Timos Sellis (Ed.), Proceedings of 2nd Workshop on Rules in DBs, Greece, LNCS 985, September 1995, pp. 165-181.
  • 3
    • 0000096346 scopus 로고    scopus 로고
    • An algebraic approach to static analysis of active database rules
    • Baralis E., and Widom J. An algebraic approach to static analysis of active database rules. ACM Transactions on Database Systems (TODS) 25 3 (2000) 269-332
    • (2000) ACM Transactions on Database Systems (TODS) , vol.25 , Issue.3 , pp. 269-332
    • Baralis, E.1    Widom, J.2
  • 4
    • 34247579845 scopus 로고    scopus 로고
    • P. Bayer, W. Jonker, A framework for supporting triggers in deductive databases, in: Proceedings of 1st International workshop on Rules in Database Systems, Edinburg, Scotland, August 1993, pp. 316-330.
  • 5
    • 2942623496 scopus 로고    scopus 로고
    • Coping with uncertainty in a location based game
    • Benford S., et al. Coping with uncertainty in a location based game. IEEE Pervasive Computing 2 3 (2003) 34-41
    • (2003) IEEE Pervasive Computing , vol.2 , Issue.3 , pp. 34-41
    • Benford, S.1
  • 6
    • 0346773813 scopus 로고
    • Springer-Verlag p. 609
    • Bernardinello L., and De Cindio F. A Survey of Basic Net Models and Modular Net Classes. LNCS vol. 609 (1992), Springer-Verlag p. 609
    • (1992) LNCS , vol.609
    • Bernardinello, L.1    De Cindio, F.2
  • 7
    • 34247568599 scopus 로고    scopus 로고
    • L. Bernardinello, F. De Cindio, (Ordinary) Petri Nets (PN), (accessed July 2005).
  • 8
    • 11144294236 scopus 로고    scopus 로고
    • B. Bostan-Korpeoglu, A. Yazici, An active object-oriented database approach, in: Proceedings of 13th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Budapest, Hungary, 25-29 July, 2004.
  • 9
    • 35048828805 scopus 로고    scopus 로고
    • B. Bostan-Korpeoglu, A. Yazici, Using fuzzy petri nets for static analysis of rule-bases, in: Proceedings of 19th International Symposium on Computer and Information Sciences (ISCIS), Antalya, Turkey, 27-29 October, 2004, LNCS 3280, Springer-Verlag.
  • 11
    • 34247593988 scopus 로고    scopus 로고
    • S. Ceri, J. Widom, Deriving production rules for constraint maintenance, in: Proceedings of International Conference of Very Large Databases (VLDB), Austria, August 1990, pp. 566-577.
  • 12
    • 0141684050 scopus 로고
    • Deriving incremental production rules for deductive data
    • Ceri S., and Widom J. Deriving incremental production rules for deductive data. Information Systems 19 6 (1994) 467-490
    • (1994) Information Systems , vol.19 , Issue.6 , pp. 467-490
    • Ceri, S.1    Widom, J.2
  • 15
    • 0027614535 scopus 로고
    • Fuzzy Petri net representation and reasoning methods for rule-based decision making systems
    • Chun M., and Bien Z. Fuzzy Petri net representation and reasoning methods for rule-based decision making systems. IECE Transactions of Fundamentals E76-A/6 June (1993)
    • (1993) IECE Transactions of Fundamentals E76-A/6 , Issue.June
    • Chun, M.1    Bien, Z.2
  • 16
    • 0033148288 scopus 로고    scopus 로고
    • Active rule analysis in the rock and roll deductive object-oriented database
    • Dinn A., Paton N., and Williams H. Active rule analysis in the rock and roll deductive object-oriented database. Information Systems 24 4 (1999) 327-353
    • (1999) Information Systems , vol.24 , Issue.4 , pp. 327-353
    • Dinn, A.1    Paton, N.2    Williams, H.3
  • 17
    • 34247564290 scopus 로고    scopus 로고
    • K. Jensen, Colored Petri nets (CPN), (accessed July 2005).
  • 18
    • 0029755328 scopus 로고    scopus 로고
    • A. Karadimce, S. Urban, Refined triggering graphs: a logic-based approach to termination analysis in an object-oriented database, in: Proceedings of International Conference on Data Engineering (ICDE), New Orleans, February 1996, pp. 384-391.
  • 20
    • 4544231370 scopus 로고    scopus 로고
    • Modeling and generating context-aware agent-based applications with amended colored Petri nets
    • Kwon O. Modeling and generating context-aware agent-based applications with amended colored Petri nets. Expert Systems with Applications 27 (2004) 609-621
    • (2004) Expert Systems with Applications , vol.27 , pp. 609-621
    • Kwon, O.1
  • 22
    • 1842852997 scopus 로고    scopus 로고
    • Possibilistic Petri nets as a basis for agent service description language
    • Lee J., Liu K., Wang Y., and Chiang W. Possibilistic Petri nets as a basis for agent service description language. Fuzzy Sets and Systems 114 (2004) 105-126
    • (2004) Fuzzy Sets and Systems , vol.114 , pp. 105-126
    • Lee, J.1    Liu, K.2    Wang, Y.3    Chiang, W.4
  • 24
    • 0024645936 scopus 로고
    • Petri Nets: properties, analysis and applications
    • Murata T. Petri Nets: properties, analysis and applications. Proceedings of IEEE 77 (1989) 540-541
    • (1989) Proceedings of IEEE , vol.77 , pp. 540-541
    • Murata, T.1
  • 25
  • 26
    • 0038048799 scopus 로고    scopus 로고
    • Refined rules termination analysis through transactions
    • Montesi D., Bertino E., and Bagnato M. Refined rules termination analysis through transactions. Information Systems 28 (2003) 435-456
    • (2003) Information Systems , vol.28 , pp. 435-456
    • Montesi, D.1    Bertino, E.2    Bagnato, M.3
  • 28
    • 34247632739 scopus 로고    scopus 로고
    • C.A. Petri, Communication with Automata, Technical Report, RADC-TR-65-377, 1(1), Griffiss Air Force Base, New York, 1966.
  • 30
    • 34247577756 scopus 로고    scopus 로고
    • A. Vaduva, S. Gatziu, K. Dittrich, Investigating termination in active database systems with expressive rule languages, Technical Report, Institut für Informatik, April 1997.
  • 32
    • 71549166510 scopus 로고    scopus 로고
    • C. Zaniolo, On the unification of active and deductive databases, Advances in Databases, in: 11th British National Conference on Databases, LNCS 696, Springer-Verlag, 1993, pp. 23-39.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.