Shougo Shimizu

Publication Activity (10 Years)

Years Active: 2001-2013
Publications (10 Years): 0

Top Topics

Decision Procedures

Query Containment

Top Venues

Publications

Yasunori Ishihara, Nobutaka Suzuki, Kenji Hashimoto, Shougo Shimizu, Toru Fujiwara
XPath Satisfiability with Parent Axes or Qualifiers Is Tractable under Many of Real-World DTDs. DBPL (2013)
Yasunori Ishihara, Kenji Hashimoto, Shougo Shimizu, Toru Fujiwara
XPath satisfiability with downward and sibling axes is tractable under most of real-world DTDs. WIDM (2012)
Yasunori Ishihara, Shougo Shimizu, Toru Fujiwara
Extending the Tractability Results on XPath Satisfiability with Sibling Axes. XSym (2010)
Yasunori Ishihara, Takuji Morimoto, Shougo Shimizu, Kenji Hashimoto, Toru Fujiwara
A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes. DBPL (2009)
Akinari Yamaguchi, Shougo Shimizu, Yasunori Ishihara, Toru Fujiwara
Bag-based data models for incomplete information and their closure properties. J. Intell. Inf. Syst. 30 (2) (2008)
Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki, Minoru Ito
Refinements of Complexity Results on Type Consistency for Object-Oriented Databases. J. Comput. Syst. Sci. 62 (4) (2001)