SCOPUS 정보 검색 플랫폼

Theoretical Computer Science

Volumn 254, Issue 1-2, 2001, Pages 591-661

Regular database update logics

(3) Spruit, Paul a Wieringa, Roel a,b Meyer, John Jules a

a VU UNIVERSITY AMSTERDAM (Netherlands)

b UNIVERSITY OF TWENTE (Netherlands)

Author keywords

Database updates; Dynamic logic; Relational algebra

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATABASE SYSTEMS; LINEAR ALGEBRA; THEOREM PROVING;

FIRST-ORDER UPDATE LOGIC (FUL); RELATIONAL ALGEBRA UPDATE LOGIC (RAUL);

FORMAL LOGIC;

EID: 0034904443 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00289-9 Document Type: Article

Times cited : (3)

References (41)

1
- 0023535525
- A transaction language complete for database update and specification
- San Diego, CA, March 23-25
- (1987) Proc. 6th ACM SIGACT-SIGMOD Symp. on the Principles of Database Systems , pp. 260-268
- Abiteboul, S.¹ Vianu, V.²

2
- 0002901417
- Procedural and declarative database update languages
- Austin, TX, ACM, New York, March 21-23
- (1988) Proc. 7th ACM SIGACT-SIGMOD Symp. on the Principles of Database Systems , pp. 240-250
- Abiteboul, S.¹ Vianu, V.²

3
- 0000128393
- On the logic theory of change: Partial meet contraction and revision functions
- (1985) J. Symbolic Logic , vol.50 , pp. 510-530
- Alchourrón, C.E.¹ Gärdenfors, P.² Makinson, D.³

4
- 0004692618
- Tech. Report CSRI-270, University of Toronto, April
- (1992) Transaction logic programming
- Bonner, A.J.¹ Kifer, M.²

5
- 0004423361
- Transaction logic: An (early) exposé
- Workshops in Computing Series, Springer, Berlin
- (1993) Proc. Workshop on Formal Methods in Databases and Software Engineering
- Bonner, A.J.¹ Kifer, M.²

6
- 0000078929
- Transaction logic programming
- Budapest, Hungary, June
- (1993) Proc. 10th Internat. Conf. on Logic Programming (ICLP) , pp. 257-279
- Bonner, A.J.¹ Kifer, M.²

7
- 0028516965
- An overview of transaction logic
- (1994) Theoret. Comput. Sci. , vol.133 , pp. 205-265
- Bonner, A.J.¹ Kifer, M.²

8
- 0013252906
- Database programming in transaction logic
- New York City, Aug/Sep 1993, Workshops in Computing, Springer, Berlin
- (1994) Proc. 4th Internat. Workshop on Database Programming Languages (DBPL) , pp. 309-337
- Bonner, A.J.¹ Kifer, M.² Consens, M.³

9
- 0004213351
- Springer, Berlin
- (1990) Logic Programming and Databases
- Ceri, S.¹ Gottlob, G.² Tanca, L.³

10
- 84910919921
- Update semantics under the domain closure assumption
- M. Gyssens, J. Paredaens, D. van Gucht (Eds.), Internat. Conf. on Database Theory, Springer, Berlin
- (1988) Lecture Notes in Computer Science , vol.326 , pp. 123-140
- Cholvy, L.¹

11
- 85156265719
- Investigations into a theory of knowledge base revision: Preliminary report
- (1988) Proc. AAAI , vol.2 , pp. 475-479
- Dalal, M.¹

12
- 0004154170
- Addison-Wesley, Reading, MA
- (1990) An Introduction to Database Systems, 5th ed. , vol.1
- Date, C.J.¹

13
- 0000029077
- Rewrite systems
- Jan van Leeuwen (Ed.), North-Holland, Amsterdam
- (1990) Handbook of Theoretical Computer Science, Formal Models and Semantics , vol.B , pp. 243-320
- Dershowitz, N.¹ Jouannaud, J.-P.²

14
- 0004421820
- Addition and removal of information for a knowledge base with incomplete information
- (1992) Data Knowledge Eng. , vol.8 , Issue.4 , pp. 293-307
- Dignum, F.¹ Van de Riet, R.P.²

15
- 0004453909
- Tech. Report, University of Amsterdam and University of Groningen
- (1996) A formal semantics and axiomatization for specifying the dynamics of knowledge-based systems
- Fensel, D.¹ Groenboom, R.²

16
- 0004665766
- MLPM: Defining a semantics and axiomatization for specifying the reasoning process of knowledge-based systems
- W. Wahlster (Ed.)
- (1996) 12th European Conf. on Artificial Intelligence
- Fensel, D.¹ Groenboom, R.²

17
- 0004309078
- Plenum Press, New York
- (1978) Logic and Databases
- Gallaire, H.¹ Minker, J.²

18
- 0002069345
- Revisions of knowledge system using epistemic entrenchment
- M. Vardi (Ed.), Morgan Kaufmann, Los Altos, CA
- (1988) Proc. 2nd Conf. on Theoretical Aspects of Reasoning about Knowledge , pp. 83-95
- Gärdenfors, P.¹ Makinson, D.²

19
- 0020885647
- A modal system of algebras for database specification and query/update support
- (1983) Proc. Nineth Internat. Conf. on Very Large Databases , pp. 331-359
- Golshani, F.¹ Maibaum, T.S.E.² Sadler, M.R.³

20
- 0004449395
- Reasoning about dynamic features in specification languages
- D.J. Andrews, J.F. Groote, C.A. Middelburg (Eds.), Springer, Berlin
- (1994) Proc. Workshop in Semantics of Specification Languages
- Groenboom, R.¹ Renardel de Lavalette, G.R.²

21
- 84864840163
- First Order Dynamic Logic, Springer, Berlin
- (1979) Lecture Notes in Computer Science , vol.68
- Harel, D.¹

22
- 0004284940
- Methuen, London, reprint 1985
- (1968) An Introduction to Modal Logic
- Hughes, G.E.¹ Cresswell, M.J.²

23
- 0002498396
- On the difference between updating a knowledge base and revising it
- J. Allen, R. Fikes, E. Sandewall (Eds.), Principles of Knowledge Representation and Reasoning, Massachusetts, Morgan Kaufmann, Los Altos, CA, April 22-25
- (1991) Proceedings of the Second Internat. Conf. , pp. 387-394
- Katsuno, H.¹ Mendelzon, A.O.²

24
- 0004449324
- Database specification
- T.B. Steel Jr., R. Meersman (Eds.), North-Holland, Amsterdam
- (1986) Database Semantics (DS-1) , pp. 141-158
- Khosla, S.¹ Maibaum, T.S.E.² Sadler, M.³

25
- 0001834942
- Term rewriting systems
- S. Abramsky, Dov. M. Gabbay, T.S.E. Maibaum (Eds.), Oxford University Press, Oxford
- (1992) Handbook of Logic in Computer Science, Background - Computational Structures , vol.2 , pp. 1-116
- Klop, J.W.¹

26
- 0001110949
- Logics of programs
- Jan van Leeuwen (Ed.), Elsevier, Amsterdam
- (1990) Handbook of Theoretical Computer Science , pp. 789-840
- Kozen, D.¹ Tiuryn, J.²

27
- 0003066402
- A logic-based language for database updates
- J. Minker (Ed.), Morgan Kaufmann, Los Altos, CA
- (1988) Foundations of Deductive Databases and Logic Programming , pp. 363-394
- Manchanda, S.¹ Warren, D.S.²

28
- 85032861435
- Database updates in logic programming
- Austin, TX, ACM, New York, March 21-23
- (1988) Proc 7th ACM SIGACT-SIGMOD Symp. on the Principles of Database Systems , pp. 251-262
- Naqvi, S.¹ Krishnamurthy, R.²

29
- 0004284658
- Computer Science Press, Rockville, MD
- (1989) A Logical Language for Data and Knowledge Bases
- Naqvi, S.¹ Tsur, S.²

30
- 0004425074
- On induction for programming logic: Syntax, semantics, and inductive closure
- (1981) Bull. EATCS , vol.13 , pp. 51-64
- Nourani, F.¹

31
- 0003931061
- Tech. Report DAIMI FN-19, Computer Science Department, Aarhus University, reprinted 1991
- (1981) A structural approach to operational semantics
- Plotkin, G.D.¹

32
- 0002363758
- Towards a logical reconstruction of relational database theory
- M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Eds.), Springer, Berlin
- (1984) On Conceptual Modelling , pp. 191-233
- Reiter, R.¹

33
- 0004393306
- Ph.D. Thesis, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam
- (1994) Logics of Database Updates
- Spruit, P.A.¹

34
- 0000915776
- Dynamic database logic: The first-order case
- U.W. Lipeck, B. Thalheim (Eds.), Springer, Berlin
- (1993) Modelling Database Dynamics , pp. 103-120
- Spruit, P.A.¹ Wieringa, R.J.² Meyer, J.-J.Ch.³

35
- 0002506501
- Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases
- (1995) J. Logic Comput. , vol.5 , Issue.1 , pp. 27-50
- Spruit, P.A.¹ Wieringa, R.J.² Meyer, J.-J.Ch.³

36
- 0003469339
- Computer Science Press, Rockville, MD
- (1989) Principles of Database and Knowledge-base Systems , vol.1
- Ullman, J.D.¹

37
- 0001853318
- Updating propositional formulas
- (1986) First Internat. Conf. on Expert Database Systems , pp. 373-386
- Weber, A.¹

38
- 0002441215
- Using dynamic classes and role classes to model object migration
- (1995) Theory Practice Object Systems , vol.1 , Issue.1 , pp. 61-83
- Wieringa, R.J.¹ De Jonge, W.² Spruit, P.A.³

39
- 21144463726
- Actors, actions, and initiative in normative system specification
- (1993) Ann. Math. Artif. Intell. , vol.7 , pp. 289-346
- Wieringa, R.J.¹ Meyer, J.-J.Ch.²

40
- 85032865754
- The revised Gärdenfors postulates and update semantics
- S. Abiteboul, P.C. Kanellakis (Eds.), Internat. Conf. on Database Theory, Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.470 , pp. 409-421
- Willard, L.¹ Yuan, L.Y.²

41
- 0004246129
- Cambridge University Press, Cambridge
- (1990) Updating Logical Databases
- Winslett, M.¹

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