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 × Canada
1 × Japan
2 × USA
Collaborated with:
M.Moriconi J.Meseguer H.V.Jagadish ∅ R.J.Waldinger D.R.Smith G.Wiederhold
Talks about:
databas (4) integr (3) constraint (2) transact (2) orient (2) object (2) valid (2) logic (2) architectur (1) reformul (1)

Person: Xiaolei Qian

DBLP DBLP: Qian:Xiaolei

Contributed to:

FSE 19941994
SIGMOD 19931993
VLDB 19921992
VLDB 19901990
SIGMOD 19881988
VLDB 19871987
VLDB 19861986

Wrote 7 papers:

FSE-1994-MoriconiQ #architecture #composition #correctness
Correctness and Composition of Software Architectures (MM, XQ), pp. 164–174.
SIGMOD-1993-MeseguerQ #database #logic #object-oriented #semantics
A Logical Semantics for Object-Oriented Databases (JM, XQ), pp. 89–98.
VLDB-1992-JagadishQ #database #maintenance #object-oriented
Integrity Maintenance in Object-Oriented Databases (HVJ, XQ), pp. 469–480.
VLDB-1990-Qian #database #transaction
Synthesizing Database Transactions (XQ), pp. 552–565.
SIGMOD-1988-QianW #database #logic #specification #transaction
A Transaction Logic for Database Specification (XQ, RJW), pp. 243–250.
VLDB-1987-QianS #constraints #performance #validation
Integrity Constraint Reformulation for Efficient Validation (XQ, DRS), pp. 417–425.
VLDB-1986-QianW #constraints #knowledge-based #validation
Knowledge-based Integrity Constraint Validation (XQ, GW), pp. 3–12.
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.