(***********************************************************************)
(*                                                                     *)
(*                                 GALAX                               *)
(*                            XML Query Engine                         *)
(*                                                                     *)
(*  Copyright 2000, Lucent Technologies.                               *)
(*  Distributed only by permission.                                    *)
(*                                                                     *)
(***********************************************************************)

(* $Id: subsumption.mli,v 1.9 2001/11/21 13:56:44 simeon Exp $ *)

(* subsumption functions *)

val unit_subsumption   : Schema.schema -> Schema.schema -> Sym.rgroup_symbol -> Sym.rgroup_symbol -> Theta.theta 

val model_subsumption  : Schema.schema -> Schema.schema -> Xquery_ast.model -> Xquery_ast.model -> Theta.theta

val schema_subsumption : Schema.schema -> Schema.schema -> Theta.theta

(* Subtyping function used by the type-checker *)

val isSubtype : Schema.schema -> Xquery_ast.model -> Xquery_ast.model -> bool

