| 
| |  | |  |
High Level Indexing of User-Defined Types
Implementation of SQL3 Structured Types with Inheritance and Value Substitutability
Note: Links lead to the DBLP on the Web.
Weidong Chen
31
Weidong Chen,
Jyh-Herng Chow
,
You-Chin Fuh
,
Jean Grandbois
,
Michelle Jou
,
Nelson Mendonça Mattos
,
Brian T. Tran
,
Yun Wang
: High Level Indexing of User-Defined Types.
VLDB 1999
: 554-564
30
You-Chin Fuh
,
Stefan Deßloch
, Weidong Chen,
Nelson Mendonça Mattos
,
Brian T. Tran
,
Bruce G. Lindsay
,
Linda DeMichel
,
Serge Rielau
,
Danko Mannhaupt
: Implementation of SQL3 Structured Types with Inheritance and Value Substitutability.
VLDB 1999
: 565-574
29
Julie Yuchih Liu
,
Leroy Adams
, Weidong Chen: Constructive Negation Under the Well-Founded Semantics.
JLP 38
(3): 295-330 (1999)
28
Weidong Chen,
Julie Yu-Chih Liu
: A Procedural Semantics for Stratified Database Updates.
Annals of Mathematics and Artificial Intelligence 21
(2-4): 187-220 (1997)
27
R. Ramesh
, Weidong Chen: Implementation of Tabled Evaluation with Delaying in Prolog.
TKDE 9
(4): 559-574 (1997)
26
Weidong Chen: Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning.
TKDE 9
(4): 587-599 (1997)
25
Weidong Chen,
David Scott Warren
: Tabled Evaluation With Delaying for General Logic Programs.
JACM 43
(1): 20-74 (1996)
24
Weidong Chen,
Jinghong Zeng
: Nondeterminism Through Well-Founded Choice.
JLP 26
(3): 285-309 (1996)
23
Weidong Chen: Extending Prolog with Nonmonotonic Reasoning.
JLP 27
(2): 169-183 (1996)
22
Weidong Chen,
David Scott Warren
: Predicate Abstractions in Higher-Order Logic Programming.
New Generation Computing 14
(2): 195-236 (1996)
21
Weidong Chen,
David Scott Warren
: Computation of Stable Models and Its Integration with Logical Query Processing.
TKDE 8
(5): 742-757 (1996)
20
Weidong Chen,
Michael Kifer
: Sorted HiLog: Sorts in Higher-Order Logic Data Languages.
ICDT 1995
: 252-265
19
Weidong Chen,
Terrance Swift
,
David Scott Warren
: Efficient Top-Down Computation of Queries under the Well-Founded Semantics.
JLP 24
(3): 161-199 (1995)
18
Weidong Chen: Declarative Updates of Relational Databases.
TODS 20
(1): 42-70 (1995)
17
Weidong Chen: Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics.
TODS 20
(3): 239-287 (1995)
16
R. Ramesh
, Weidong Chen: A Portable Method of Integrating SLG Resolution into Prolog Systems.
SLP 1994
: 618-632
15
Weidong Chen,
Terrance Swift
,
David Scott Warren
: Goal-Directed Evaluation of Well-Founded Sematics for XSB.
ILPS 1993
: 679
14
Weidong Chen,
David Scott Warren
: Query Evaluation under the Well Founded Semantics.
PODS 1993
: 168-179
13
Weidong Chen,
Michael Kifer
,
David Scott Warren
: HILOG: A Foundation for Higher-Order Logic Programming.
JLP 15
(3): 187-230 (1993)
12
Weidong Chen,
David Scott Warren
: A Goal-Oriented Approach to Computing the Well-Founded Semantics.
JLP 17
(2/3&4): 279-300 (1993)
11
Weidong Chen,
David Scott Warren
: A Goal-Oriented Approach to Computing Well Founded Semantics.
JICSLP 1992
: 589-603
10
Weidong Chen: Declarative Specification and Evaluation of Database Updates.
DOOD 1991
: 147-166
9
Weidong Chen,
David Scott Warren
: An Intensional Logic of (Multi-Arity) Set Abstractions.
ICLP 1991
: 97-110
8
Weidong Chen,
David Scott Warren
: Compilation of Predicate Abstractions in Higher-Order Logic Programming.
PLILP 1991
: 287-298
7
Weidong Chen,
Michael Kifer
,
David Scott Warren
: HiLog as a Platform for Database Languages.
DBPL 1989
: 315-329
6
Weidong Chen,
Michael Kifer
,
David Scott Warren
: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.
NACLP 1989
: 1090-1114
5
Weidong Chen,
David Scott Warren
: Abductive Resoning with Structured Data.
NACLP 1989
: 851-867
4
Weidong Chen,
David Scott Warren
: C-Logic of Complex Objects.
PODS 1989
: 369-378
3
Weidong Chen,
Michael Kifer
,
David Scott Warren
: HiLog as a Platform for Database Languages.
Data Engineering Bulletin 12
(3): 37-44 (1989)
2
Weidong Chen,
David Scott Warren
: Objects as Intensions.
ICLP/SLP 1988
: 404-419
1
Weidong Chen: A Theory of Modules Based on Second-Order Logic.
SLP 1987
: 24-33
Copyright(C) 2000 ACM | | | | | | |
