/*
 
  Ontologies and symbol libraries are imported into database from transferable graphs.
  These files are encapsulated in Graph Bundles which carry version information.
  
  Imported transferable graphs are managed with GraphBundle instances. They are attached
  to InstalledGraphBundles-library.
  
  There is at most one GraphBundles resource for each major version of the bundle. 
  Two different major versions are managed separatedly, both there is individual GraphBundle
  for each. 
  
  When importin a GraphBundle, if a already exists within the same major version, a newer
  version is merged. 

*/
L0 = <http://www.simantics.org/Layer0-1.1>

DatabaseManagement = L0.DatabaseManagement : L0.Library
    L0.HasResourceClass "org.simantics.layer0.DatabaseManagementResource" : L0.String

DatabaseManagement.InstalledGraphBundles : L0.Entity

DatabaseManagement.GraphBundle <T L0.Entity
    @L0.singleProperty DatabaseManagement.HasVersionedId
    @L0.singleProperty DatabaseManagement.HasFile
    @L0.singleProperty DatabaseManagement.HasHashCode
    @L0.singleProperty DatabaseManagement.HasInstallInfo

DatabaseManagement.Bundles : L0.Library

// It is calculated from the imported TransferableGraph1 with 
// Databoard hashCode rules. See Binding#hashCode(Object value).
DatabaseManagement.HasHashCode <R L0.HasProperty
    L0.HasRange L0.Integer
    
DatabaseManagement.HasVersionedId <R L0.HasProperty
    L0.HasRange DatabaseManagement.VersionedId

DatabaseManagement.HasInstallInfo <R L0.HasProperty
    L0.HasRange DatabaseManagement.InstallInfo

DatabaseManagement.InstallInfo <T L0.Literal
    @L0.assert L0.HasDataType ${
        resourceCorrespondences : Long[]
    }

// id/<major>.<minor>.<service>.<qualifier>
DatabaseManagement.VersionedId <T L0.Literal
    @L0.assert L0.HasDataType $String(pattern="[a-zA-Z_0-9]+(\\.[a-zA-Z_0-9]+)*/\\d+.\\d+.\\d+(.[a-zA-Z_0-9\\-]+)?")

// <major>.<minor>.<service>[.<qualifier>]
DatabaseManagement.OSGiVersion <T L0.Literal
    @L0.assert L0.HasDataType $String(pattern="\\d+.\\d+.\\d+(.[a-zA-Z_0-9\\-]+)?")
    
// Symbolic Name - Canonical Id
DatabaseManagement.OSGiSymbolicName <T L0.Literal
    @L0.assert L0.HasDataType $String(pattern="[a-zA-Z_0-9]+(\\.[a-zA-Z_0-9]+)*")

DatabaseManagement.HasFile <R L0.HasProperty
    L0.HasRange L0.Graph