Piessens, Frank; Steegmans, Eric Categorical data-specifications. (English) Zbl 0919.18001 Theory Appl. Categ. 1, 156-173 (1995). Summary: We introduce MD-sketches, which are a particular kind of Finite Sum sketches. Two interesting results about MD-sketches are proved. First, we show that, given two MD-sketches, it is algorithmically decidable whether their model categories are equivalent. Next we show that data-specifications as used in database-design and software engineering, can be translated to MD-sketches. As a corollary, we obtain that equivalence of data-specifications is decidable. Cited in 4 Documents MSC: 18A25 Functor categories, comma categories 68P15 Database theory 18C99 Categories and theories Keywords:finite sum sketches; MD-sketches; algorithmically decidable; data-specifications; database-design PDFBibTeX XMLCite \textit{F. Piessens} and \textit{E. Steegmans}, Theory Appl. Categ. 1, 156--173 (1995; Zbl 0919.18001) Full Text: EuDML EMIS