-
2
-
-
84958780318
-
-
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
-
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
-
-
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
-
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
-
-
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
-
-
L. Bernardinello, F. De Cindio, (Ordinary) Petri Nets (PN), (accessed July 2005).
-
-
-
-
8
-
-
11144294236
-
-
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
-
-
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
-
-
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
-
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
-
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
-
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
-
-
K. Jensen, Colored Petri nets (CPN), (accessed July 2005).
-
-
-
-
18
-
-
0029755328
-
-
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
-
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
-
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
-
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
-
26
-
-
0038048799
-
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
-
-
C.A. Petri, Communication with Automata, Technical Report, RADC-TR-65-377, 1(1), Griffiss Air Force Base, New York, 1966.
-
-
-
-
30
-
-
34247577756
-
-
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
-
-
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.
-
-
-
|