Database Queries that Explain their Work

Provenance for database queries or scientific workflows is often motivated as providing explanation, increasing understanding of the underlying data sources and processes used to compute the query, and reproducibility, the capability to recompute the results on different inputs, possibly specialized to a part of the output. Many provenance systems claim to provide such capabilities; however, most lack formal definitions or guarantees of these properties, while others provide formal guarantees only for relatively limited classes of changes. Building on recent work on provenance traces and slicing for functional programming languages, we introduce a detailed tracing model of provenance for multiset-valued Nested Relational Calculus, define trace slicing algorithms that extract subtraces needed to explain or recompute specific parts of the output, and define query slicing and differencing techniques that support explanation. We state and prove correctness properties for these techniques and present a proof-of-concept implementation in Haskell.Comment: PPDP 201

Embryonic Stem Cell Bioprinting for Uniform and Controlled Size Embryoid Body Formation

Embryonic stem cells ESCs are pluripotent with multilineage potential to differentiate into virtually all cell types in the organism and thus hold a great promise for cell therapy and regenerative medicine. In vitro differentiation of ESCs starts with a phase known as embryoid body EB formation. EB mimics the early stages of embryogenesis and plays an essential role in ESC differentiation in vitro. EB uniformity and size are critical parameters that directly influence the phenotype expression of ESCs. Various methods have been developed to form EBs, which involve natural aggregation of cells. However, challenges persist to form EBs with controlled size, shape, and uniformity in a reproducible manner. The current hanging-drop methods are labor intensive and time consuming. In this study, we report an approach to form controllable, uniform-sized EBs by integrating bioprinting technologies with the existing hanging-drop method. The approach presented here is simple, robust, and rapid. We present significantly enhanced EB size uniformity compared to the conventional manual hanging-drop method

Functional Maintenance of Differentiated Embryoid Bodies in Microfluidic Systems: A Platform for Personalized Medicine

Hormone replacement therapies have become important for treating diseases such as premature ovarian failure or menopausal complications. The clinical use of bioidentical hormones might significantly reduce some of the potential risks reportedly associated with the use of synthetic hormones. In the present study, we demonstrate the utility and advantage of a microfluidic chip culture system to enhance the development of personalized, on-demand, treatment modules using embryoid bodies (EBs). Functional EBs cultured on microfluidic chips represent a platform for personalized, patient-specific treatment cassettes that can be cryopreserved until required for treatment. We assessed the viability, differentiation, and functionality of EBs cultured and cryopreserved in this system. During extended microfluidic culture, estradiol, progesterone, testosterone, and anti-müllerian hormone levels were measured, and the expression of differentiated steroidogenic cells was confirmed by immunocytochemistry assay for the ovarian tissue markers anti-müllerian hormone receptor type II, follicle-stimulating hormone receptor, and inhibin β-A and the estrogen biosynthesis enzyme aromatase. Our studies showed that under microfluidic conditions, differentiated steroidogenic EBs continued to secrete estradiol and progesterone at physiologically relevant concentrations (30–120 pg/ml and 150–450 pg/ml, respectively) for up to 21 days. Collectively, we have demonstrated for the first time the feasibility of using a microfluidic chip system with continuous flow for the differentiation and extended culture of functional steroidogenic stem cell-derived EBs, the differentiation of EBs into cells expressing ovarian antigens in a microfluidic system, and the ability to cryopreserve this system with restoration of growth and functionality on thawing. These results present a platform for the development of a new therapeutic system for personalized medicine