BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Belgium
1 × Canada
1 × China
1 × Japan
1 × United Kingdom
2 × France
9 × USA
Collaborated with:
J.You Z.M.Özsoyoglu D.Chiang Y.Shen R.Goebel L.Wu Y.Chi N.Zhou Y.Hu X.Jia X.Wang Y.Wang S.Ghosh C.Wang O.R.Zaïane J.Pei
Talks about:
program (9) logic (8) databas (7) relat (5) disjunct (3) system (3) algorithm (2) scalabl (2) complet (2) semant (2)

Person: Li-Yan Yuan

DBLP DBLP: Yuan:Li=Yan

Facilitated 1 volumes:

VLDB 1992Ed

Contributed to:

SIGMOD 20152015
CIKM 20142014
VLDB 20112011
ICLP 20102010
ICLP 20042004
PADL 20002000
ICLP 19991999
JICSLP 19981998
ICLP 19971997
ICLP 19951995
ILPS 19951995
ILPS 19941994
ILPS 19931993
ICLP 19911991
PODS 19901990
PODS 19891989
SIGMOD 19881988
PODS 19871987
PODS 19861986
PODS 19851985

Wrote 20 papers:

SIGMOD-2015-YuanWYC #big data #database #scalability
A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications (LYY, LW, JHY, YC), pp. 907–912.
CIKM-2014-YuanWYC #big data #database #grid #scalability #staged
Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications (LYY, LW, JHY, YC), pp. 1–10.
VLDB-2011-WangYYZP #database #nondeterminism #on the #ranking
On Pruning for Top-K Ranking in Uncertain Databases (CW, LYY, JHY, ORZ, JP), pp. 598–609.
ICLP-J-2010-WangYYS #logic programming #source code
Loop formulas for description logic programs (YW, JHY, LYY, YDS), pp. 531–545.
ICLP-2004-JiaYY #set #source code
Adding Domain Dependent Knowledge into Answer Set Programs for Planning (XJ, JHY, LYY), pp. 400–415.
PADL-2000-ZhouSYY #implementation #linear
Implementation of a Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), pp. 109–123.
ICLP-1999-ZhouSYY #linear
A Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), p. 618.
JICSLP-1998-YouYG #semantics
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure (JHY, LYY, RG), pp. 175–189.
ICLP-1997-YouWY #logic programming
Disjunctive Logic Programming as Constrained Inferences (JHY, XW, LYY), pp. 361–375.
ICLP-1995-YuanY #approach #logic programming #on the
On Coherence Approach to Logic Program Revision (LYY, JHY), pp. 167–181.
ILPS-1995-YouGYG #framework #logic programming #source code
An Introspective Framework for Paraconsistent Logic Programs (JHY, SG, LYY, RG), pp. 384–398.
ILPS-1994-YuanY #effectiveness
A Simple but Effective Program Revision Method (LYY, JHY), p. 686.
ILPS-1993-YouY #logic programming #source code
Contradiction Resolving for Extended Logic Programs and Default Theories (JHY, LYY), p. 640.
ICLP-1991-HuY #logic programming #semantics #source code
Extended Well-Founded Model Semantics for General Logic Programs (YH, LYY), pp. 412–425.
PODS-1990-YouY #formal method #logic programming #question
Three-Valued Formalization of Logic Programming: Is It Needed? (JHY, LYY), pp. 172–182.
PODS-1989-YuanC #algorithm #database #evaluation #query #relational
A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information (LYY, DAC), pp. 66–74.
SIGMOD-1988-YuanC #algorithm #database #evaluation #null #query #relational
A Sound and Complete Query Evaluation Algorithm for Relational Databases with Null Values (LYY, DAC), pp. 74–81.
PODS-1987-YuanO #database #design #logic #relational
Logical Design of Relational Database Systems (LYY, ZMÖ), pp. 38–47.
PODS-1986-YuanO #database #dependence #design #functional #multi #relational
Unifying Functional and Multivalued Dependencies for Relational Database Design (LYY, ZMÖ), pp. 183–190.
PODS-1985-OzsoyogluY #normalisation
A Normal Form for Nested Relations (ZMÖ, LYY), pp. 251–260.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.