30,521 research outputs found

    Static and dynamic semantics of NoSQL languages

    Get PDF
    We present a calculus for processing semistructured data that spans differences of application area among several novel query languages, broadly categorized as "NoSQL". This calculus lets users define their own operators, capturing a wider range of data processing capabilities, whilst providing a typing precision so far typical only of primitive hard-coded operators. The type inference algorithm is based on semantic type checking, resulting in type information that is both precise, and flexible enough to handle structured and semistructured data. We illustrate the use of this calculus by encoding a large fragment of Jaql, including operations and iterators over JSON, embedded SQL expressions, and co-grouping, and show how the encoding directly yields a typing discipline for Jaql as it is, namely without the addition of any type definition or type annotation in the code

    The framing and fashioning of therapeutic citizenship among people living with HIV taking Antiretroviral Therapy in Uganda

    Get PDF
    In this article, we examine how people living with HIV (PLWH) were able to reconceptualize or “reframe” their understanding of HIV and enhance their capacity to self-manage the condition. Two in-depth interviews were held with 38 PLWH (20 women, 18 men) selected from three government and nongovernment antiretroviral therapy (ART) delivery sites in Wakiso District, and the narratives analyzed. ART providers played an important role in shaping participants’ HIV self-management processes. Health workers helped PLWH realize that they could control their condition, provided useful concepts and language for emotional coping, and gave advice about practical self-management tasks, although this could not always be put into practice. ART providers in this setting were spaces for the development of a collective identity and a particular form of therapeutic citizenship that encouraged self-management, including adherence to ART. Positive framing institutions are important for many PLWH in resource-limited settings and the success of ART programs
    • …
    corecore